De modo que, de poder probar formalmente esta sentencia, sería indemostrable puesto que se tendría entonces una demostración de , en contradicción con el primer teorema.