Podemos agora enunciar o teorema da incompletude de Gödel.

Isso é chamado de teorema da incompletude de Gödel.

Ele já enfrentara a computabilidade abstrata do teorema da incompletude de Gödel, que formava a base de sua tese.

Cinco anos depois, já se sentiu confiante para anunciar uma série de palestras sobre o teorema da incompletude de Gödel.

De fato, em sua formulação mais profunda, o teorema da incompletude de Gödel mostra que não podemos reduzir a matemática a uma linguagem formal.

Teorema da incompletude de Gödel -Uma prova de que o décimo problema de Hilbert não pode ser solucionado.