En logique mathématique, les théorèmes d'incomplétude de Gödel, prouvés par Kurt Gödel en 1931, sont deux théorèmes énonçant les limites inhérentes à tous les systèmes formels, sauf les plus triviaux, pour l'arithmétique de l'intérêt mathématique.
Il s'agit de limitations dans tous les systèmes formels, sauf les plus triviaux, pour l'arithmétique de l'intérêt mathématique.