Si se piensa en la expansión decimal de un irracional, por ejemplo formula_28, vemos que no podemos obtener una respuesta lógicamente válida usando solamente los postulados de cuerpo ordenado.