Tras esto se definen los números reales axiomáticamente, o se los construye con sucesiones de Cauchy o como cortes de Dedekind de números racionales.