Dado que en la mayor parte de las teorías formalizadas T puede definirse el predicado "demostrable en T" y que puede demostrarse que todas las oraciones demostrables son verdaderas, existen oraciones verdaderas que no son demostrables —pues "verdadero en T" se define en una lógica más potente que la de T—.