Claramente los racionales satisfacen los primeros axiomas, pero no se puede con esto, demostrar la existencia de un número irracional, como raíz cuadrada de dos por ejemplo.