|
|
|
|
|
by griffzhowl
529 days ago
|
|
Probably what Abbott in Understanding Analysis calls the axiom of completeness: every set that is bounded above has a least upper bound. Making this stipulation distinguishes the reals from the rationals, as e.g. the set of numbers whose square is less than 2 is bounded above by any number whose square is greater than or equal to two, but among the rationals there is no least upper bound: given any rational number whose square is greater than or equal to two we can always find a smaller such rational. Assuming the axiom of completeness, we define the square root of two as the least upper bound of the set of numbers whose square is less than two |
|