Os teoremas de Kurt Gödel, de 1931, são dois resultados fundamentais na teoria da lógica e matemática. O primeiro Teorema de Incompletude afirma que em qualquer sistema matemático suficientemente poderoso, há proposições verdadeiras que não podem ser provadas dentro desse sistema. O segundo Teorema de Incompletude diz que em qualquer sistema consistente que inclua aritmética básica, sua própria consistência não pode ser provada dentro desse sistema. Esses teoremas demonstram que sempre haverá limites para o que podemos conhecer e provar em sistemas formais, questionando a ideia de um sistema matemático completo e autocontido. Suas implicações afetam a matemática, a filosofia da matemática, a teoria da computação e a compreensão dos limites do conhecimento humano.