Entonces existe un número que cumple , y en puede probarse entonces , lo cual implica formalmente ; y esto es imposible si es consistente.