También es demostrable que el conjunto de todas las cortaduras cumple con los axiomas de los números reales, de esta manera formula_1 es el conjunto de todas las cortaduras de Dedekind.