Teorema da Incompletude
O Teorema da Incompletude é um teorema em lógica matemática que afirma que qualquer sistema formal suficientemente poderoso para descrever os números naturais é necessariamente incompleto. Ou seja, existem afirmações verdadeiras sobre os números naturais que não podem ser provadas usando o sistema formal. O teorema foi provado pela primeira vez por Kurt Gödel em … Ler mais