Hacker News new | ask | show | jobs
by davidgrenier 530 days ago
Where we define the real numbers as the least upper bounds of special sets. There is a bijection between these sets and the set of real numbers which we commonly think of and that bijection is the least upper bound of such sets.