La construcción de los Reales a partir de los axiomas de Peano es más extensa que partiendo de los axiomas de cuerpo ordenado completo.