Les
théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de
logique mathématique, publiés par
Kurt Gödel en 1931 dans son article («
Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse formelle et négative à la question de la cohérence des mathématiques posée plus de 20 ans auparavant par le
programme de Hilbert.