Dictionary
Words, grammatical forms and meanings linked to the ontology.
real number system en · NOUN
Meanings
-
The complete Archimedean ordered field (of real numbers).
As we have mentioned before, the structure of Euclidean geometry, as formalized through the axioms of Hilbert, produces an archimedean ordered field. To com- plete the story, one can add to these axioms the further requirement that this field is maximal in the sense that it cannot be embedded inside any larger archimedean ordered field. It turns out then that any such ordered field is isomorphic to any other, and thus there is essentially one such ordered field. This ordered field is the real number system R.
2008 November, Ambar N. Sengupta, “Notes in Introductory Real Analysis”, in www.math.lsu.edu, retrieved 13 Jul 2012:The real number system is a complete, linearly ordered field #92;mathcal#123;R#125;#61;(#92;mathbb#123;R#125;,#43;,#92;cdot,lt;).
2010 April 16, Lindsay Keegan, “The Ghosts of Departed Quantities”, in www.math.ufl.edu, archived from the original on 30 Sep 2011:
Forms
Deriveds
extended real number system
Hypernyms
Archimedean ordered field
Relateds
standard topology · real number line