for a development of the real numbers from sequences, see Elementary Classical Analysis by Marsden and Hoffman, Chapter 1. The construction of the reals requires the Field Axioms, the Order Axioms, and the concept of completeness (if an ordered field obeys the monotone sequence property; which means that every monotone increasing sequence bounded above in an ordered field converges).
|