Observamos anteriormente que tanto los Racionales como los Reales son cuerpos ordenados, lo que implica que los axiomas de cuerpo ordenado no pueden dar cuenta de los irracionales.