En 1931, Kurt Gödel publie un résultat qui change la logique mathématique : certains systèmes formels capables de décrire l’arithmétique ne peuvent pas démontrer toutes les affirmations qu’ils permettent pourtant de formuler. La formule est souvent résumée par « il existe des vérités indémontrables ». Elle est suggestive, mais elle devient trompeuse dès qu’on oublie les conditions du théorème.
Les théorèmes d’incomplétude ne disent pas que toute preuve est fragile, que les mathématiques sont incohérentes ou que chacun possède sa vérité. Ils établissent une limite précise, à l’intérieur de systèmes axiomatiques suffisamment puissants.
Qu’est-ce qu’un système formel ?
Un système formel réunit un langage, des axiomes et des règles qui autorisent le passage d’une formule à une autre. Les axiomes servent de point de départ ; une preuve est une suite d’étapes admises par les règles du système.
L’objectif n’est pas seulement de calculer. Au début du XXe siècle, une partie des mathématiciens cherche à clarifier les fondations de leur discipline : peut-on écrire des règles assez précises pour décider, au moins en principe, toute question mathématique ? Peut-on aussi démontrer que ces règles ne produiront jamais de contradiction ?
Pour comprendre Gödel, trois conditions comptent. Le système doit être cohérent, c’est-à-dire ne pas permettre de démontrer à la fois une proposition et sa négation. Il doit être axiomatisable de manière effective : ses axiomes et ses preuves doivent pouvoir être reconnus par une procédure mécanique. Enfin, il doit être assez expressif pour formaliser une part élémentaire de l’arithmétique des nombres entiers.
Le premier théorème : une limite interne
Le premier théorème affirme, sous ces conditions, qu’un système ne peut pas être à la fois cohérent et complet. « Complet » signifie ici que toute proposition formulable dans son langage peut être démontrée ou réfutée.
Si le système est cohérent, il existe donc des énoncés que ses propres règles ne permettent ni de prouver ni de nier. Cela ne veut pas dire que personne ne pourra jamais rien savoir à leur sujet. Un mathématicien peut étudier l’énoncé depuis un système plus puissant, en ajoutant de nouveaux axiomes. Mais ce système élargi rencontrera à son tour ses propres énoncés indécidables s’il satisfait les mêmes conditions.
L’entrée spécialisée de la Stanford Encyclopedia of Philosophy insiste sur ce caractère conditionnel. Le résultat ne concerne pas n’importe quel jeu de règles, ni toutes les branches des mathématiques de la même manière. Des systèmes plus faibles peuvent être complets précisément parce qu’ils n’expriment pas assez d’arithmétique pour que la construction de Gödel s’y applique.
Comment un système peut-il parler de ses propres preuves ?
L’idée technique décisive est aujourd’hui appelée numérotation de Gödel. À chaque symbole, formule et suite de formules, on associe un nombre entier. Des phrases portant sur les expressions du système peuvent alors être traduites en propriétés arithmétiques de ces nombres.
Cette méthode permet au système de coder des affirmations sur ce qui est ou non démontrable en son sein. Gödel construit ainsi un énoncé dont le comportement se rapproche de la phrase : « cet énoncé n’est pas démontrable dans ce système ».
Cette paraphrase aide à saisir l’intuition, mais elle n’est pas la preuve. Elle ne doit pas être confondue avec le paradoxe du menteur — « cette phrase est fausse » — qui conduit directement à une contradiction. Chez Gödel, la construction est une formule arithmétique rigoureuse et l’argument dépend des propriétés précises du système.
Si celui-ci pouvait démontrer l’énoncé de Gödel tout en restant cohérent, il démontrerait en quelque sorte une affirmation disant qu’elle n’est pas démontrable. Sous les hypothèses requises, l’énoncé échappe donc à la preuve interne ; sa négation aussi, dans les formulations usuelles du théorème.
Le second théorème : la cohérence ne se certifie pas de l’intérieur
Le deuxième théorème va plus loin. Un système cohérent, effectivement axiomatisé et assez puissant pour l’arithmétique ne peut pas démontrer sa propre cohérence avec ses seuls moyens.
Là encore, la conclusion n’est pas « aucune cohérence ne peut être établie ». On peut proposer une preuve dans un cadre plus fort, mais il faut alors accepter les axiomes de ce cadre. La question se déplace : pourquoi faire confiance au système utilisé pour certifier le premier ?
Gödel ne détruit donc pas la preuve mathématique. Il montre qu’un projet de certification totale, enfermé dans un unique cadre formel, rencontre une limite structurelle.
Ce que ces théorèmes ne permettent pas d’affirmer
Les théorèmes d’incomplétude sont parfois mobilisés très loin de leur domaine : conscience, politique, morale, spiritualité ou intelligence artificielle. Une analogie peut nourrir une réflexion, mais elle ne devient pas pour autant une conséquence mathématique.
Ils ne prouvent notamment pas :
- que toute vérité est relative ;
- qu’aucune théorie ne peut être fiable ;
- qu’un ordinateur ne pourra jamais produire de nouvelles preuves ;
- que chaque problème mathématique connu est indécidable ;
- qu’une affirmation invérifiable dans la vie quotidienne serait « vraie au sens de Gödel ».
Le mot « vérité » demande lui-même de la prudence. En logique, on distingue ce qui est démontrable dans un système et ce qui est vrai dans une interprétation donnée, par exemple le modèle usuel des nombres entiers. Cette distinction est plus précise qu’une opposition générale entre raison et vérité.
Un résultat de 25 ans qui dépasse un seul article
Gödel n’a que 25 ans lorsqu’il publie ses théorèmes d’incomplétude. L’Institute for Advanced Study rappelle que son travail ne s’arrête pas là : il obtient ensuite des résultats majeurs sur la cohérence relative de l’axiome du choix et de l’hypothèse généralisée du continu.
Un épisode de Sciences Chrono sur France Culture revient sur le contexte intellectuel de cette découverte et sur le parcours du logicien. Son intérêt tient aussi à la question qu’il laisse au lecteur : que peut-on exiger d’un langage formel avant que sa puissance ne fasse apparaître ses propres limites ?
La réponse de Gödel n’est ni un renoncement aux mathématiques ni une invitation au relativisme. C’est un résultat mathématique sur le prix de l’expressivité : plus un système est capable de parler précisément des nombres et des preuves, moins il peut espérer tout décider sur lui-même.
La rédaction LETZVIEW
