Showing changes from revision #3 to #4:
Added | Removed | Changed
The real numbers as encountered in pre-algebra.
The pre-algebra real numbers is an Archimedean ordered field such that the infinite decimal representation function of the unit interval is an equivalence.