Con esa restricción Gödel demostró, que si la teoría admite un modelo de cierta complejidad siempre hay una proposición "P" verdadera pero no demostrable.