What is the meaning of Real_number_system?

The complete Archimedean ordered field (of real numbers).

Source: wiktionary.org