Como observáramos más arriba los Racionales también determinan un cuerpo ordenado, lo que implica que los axiomas de cuerpo ordenado no sirven para probar la existencia de números irraciones, tales como &sqrt;(2).