Le premier théorème d''incomplétude de Gödel affirme qu''une théorie mathématique permettant de faire de l''arithmétique contient nécessairement des énoncés indécidables, c''est-à-dire des énoncés que l''on ne peut ni prouver ni réfuter. Ce théorème a marqué l''histoire des mathématiques en mettant à jour une limitation de la science mathématique elle-même...