Esta definición de los números reales como cortaduras de Dedekind fue publicada por primera vez por Richard Dedekind en 1872.