Esta es la primera construcción formal de los números reales bajo la teoría de conjuntos.