En una sección posterior se describirán dos de las definiciones precisas más usuales actualmente: clases de equivalencia de sucesiones de Cauchy de números racionales y cortaduras de Dedekind.