Wiktionary
real number system
n. (context mathematics English) The completeness axiom Archimedean ordered field (of real numbers).