401.1X The Axiomatic Structure of the Real Numbers

The real numbers are set apart from the rationals (and all other types of fields we can build from the integers) because it is a complete ordered field — with COMPLETENESS being the final straw that separates it from the rational numbers.