Gödel prueba que en cualquier sistema formal que incluya aritmética puede generarse una proposición "P" mediante la cual se afirme que "este enunciado no es demostrable".