Con esa restricción Gödel demostró, que si la teoría almite un modelo de cierta complexidá siempres hai una proposición P verdadera pero non demostrable. Gödel prueba qu'en cualesquier sistema formal qu'incluya aritmética puede xenerase una proposición P por aciu la cual afírmese que esti enunciáu nun ye demostrable.