construction of real numbers

The construction of real numbers is the rigorous process of defining the real number system (typically via Dedekind cuts or Cauchy sequences of rationals) so that it satisfies the desired algebraic and order properties, including completeness.