Noun
real number system (plural real number systems) (mathematics) The complete Archimedean ordered field (of real numbers).