Construction of the real numbers
In mathematics, there are several equivalent ways of defining the real numbers. One of them is that they form a complete ordered field that does not contain any smaller complete ordered field.
Source: Wikipedia — Construction of the real numbers (CC BY-SA 4.0)