Logic - The Set of Rationals less than √2 has no Rational Least Upper Bound

Logic - Rose - MBHS - Blair - I review the attempt to axiomatize the real numbers and explain the least upper bound axiom. More generally, the least upper bound property is the property that the reals have that the rationals do not have. Considering the set of positive rationals which when squared are less than 2, we show explicitly that this set has no rational least upper bound. - 11/24/2020