De hecho, que esto sea así es una consecuencia del primer teorema de incompletud de Gödel.