Ainda não temos significados para "teorema da incompletude de godel".
1Podemos agora enunciar o teorema da incompletude de Gödel.
2Isso é chamado de teorema da incompletude de Gödel.
3Ele já enfrentara a computabilidade abstrata do teorema da incompletude de Gödel, que formava a base de sua tese.
4Cinco anos depois, já se sentiu confiante para anunciar uma série de palestras sobre o teorema da incompletude de Gödel.
5De 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.
6Teorema da incompletude de Gödel -Uma prova de que o décimo problema de Hilbert não pode ser solucionado.