Rédigé et vérifié par un professeur diplômé de l’École Polytechnique, avec le niveau d’exigence attendu en classe préparatoire. Découvrir le professeur
Un axiome est une proposition admise sans démonstration, posée au départ d’une théorie mathématique comme une vérité de base sur laquelle tout le reste se construit. Il ne se démontre pas : il se choisit. C’est précisément ce qui le distingue d’un théorème, qui, lui, se démontre à partir des axiomes. Ce chapitre range enfin les six mots que l’on confond le plus souvent en démonstration.
Axiome, postulat, conjecture, théorème, lemme, corollaire : ces termes structurent tout raisonnement mathématique, du programme de Seconde au chapitre 1 des classes préparatoires. Pourtant, les dictionnaires les définissent isolément, jamais les uns par rapport aux autres. Ici, on part d’un tableau comparatif, puis on traite chaque terme, on montre comment le rédiger en copie, et on va jusqu’à l’axiome du choix. À la fin, un quiz vérifie que la distinction est acquise.
I. Le tableau comparatif des six termes
Avant toute définition, une seule question départage ces mots : est-ce qu’on l’admet, ou est-ce qu’on le démontre ? Trois termes sont admis (axiome, postulat, conjecture), trois sont démontrés (théorème, lemme, corollaire). Le tableau ci-dessous les positionne d’un coup d’œil ; les sections suivantes détaillent chacun.
| Terme | Ce qu’on en fait | Place dans une démonstration | Exemple canonique |
|---|---|---|---|
| Axiome | Admis sans preuve | Fondation, point de départ de la théorie | Axiomes de Peano |
| Postulat | Admis sans preuve | Hypothèse de départ, souvent géométrique | Postulat des parallèles d’Euclide |
| Conjecture | Ni admise, ni (encore) démontrée | Résultat pressenti, à prouver ou réfuter | Conjecture de Goldbach |
| Théorème | Démontré | Résultat majeur, énoncé important | Théorème de Pythagore |
| Lemme | Démontré | Résultat intermédiaire, au service d’un théorème | Lemme d’Euclide (ou de Gauss) |
| Corollaire | Démontré | Conséquence quasi immédiate d’un théorème | Corollaire du théorème des valeurs intermédiaires |
Le vocabulaire de la démonstration en 1 page
Axiome, postulat, théorème, lemme, corollaire, conjecture : les définitions et le tableau comparatif réunis sur une fiche claire, à garder sous les yeux.
📄 Télécharger la fiche mémoPrête à imprimer, idéale pour réviser avant une colle.
On ajoute souvent la proposition : c’est un théorème « mineur », un résultat démontré mais dont l’importance ne justifie pas le titre de théorème. La frontière est une affaire de convention et d’auteur, pas de nature logique. Retiens l’essentiel : la ligne de partage passe entre admettre et démontrer.
II. Qu’est-ce qu’un axiome ?
Dans le langage courant, un axiome désigne une « évidence » que personne ne conteste. En mathématiques, le sens est plus radical et plus neutre : un axiome n’est pas forcément évident, c’est simplement une règle du jeu choisie au départ.
Définition — Axiome
Un axiome est une proposition admise sans démonstration, posée au fondement d’une théorie. L’ensemble des axiomes constitue le point de départ à partir duquel toutes les autres vérités (théorèmes) sont déduites par le raisonnement.
A. Les axiomes, fondations non démontrables
Un axiome ne se démontre pas — non pas parce qu’on n’y arrive pas, mais parce qu’il faut bien commencer quelque part. Sans point de départ admis, toute démonstration régresserait à l’infini : chaque preuve exigerait la preuve de ses prémisses, et ainsi de suite. Les axiomes brisent cette régression. Ce qu’on leur demande, ce n’est pas d’être « vrais » dans l’absolu, mais d’être cohérents (ne pas se contredire) et, idéalement, indépendants (aucun ne se déduit des autres).
B. Exemples : Euclide et Peano
Les axiomes de Peano fondent l’arithmétique des entiers naturels. Simplifiés, ils affirment notamment :
- \(0\) est un entier naturel ;
- tout entier \(n\) possède un successeur \(s(n)\) ;
- \(0\) n’est le successeur d’aucun entier ;
- et surtout l’axiome de récurrence, qui légitime le raisonnement par récurrence.
Ce dernier point est frappant : le principe de récurrence, que tu utilises comme un outil de démonstration, est en réalité un axiome. On ne le démontre pas dans l’axiomatique de Peano, on le pose. C’est l’illustration parfaite du statut d’un axiome : une brique de base, pas un résultat.
III. Axiome ou postulat : la distinction
Voici la confusion la plus fréquente, et elle mérite une réponse nette. Historiquement, Euclide distinguait les notions communes (vérités générales, ex : « le tout est plus grand que la partie ») des postulats (demandes spécifiques à la géométrie, ex : « par deux points passe une droite »). Le mot « postulat » gardait une nuance : une hypothèse qu’on demande d’accepter, moins évidente que les autres.
La règle pratique : en mathématiques modernes, axiome et postulat sont synonymes. Les deux désignent une proposition admise sans preuve. Le mot « postulat » survit surtout dans un contexte historique ou géométrique (le fameux postulat des parallèles d’Euclide), tandis que « axiome » est le terme standard de l’axiomatique contemporaine.
L’histoire du postulat des parallèles est éclairante. Pendant vingt siècles, on a cru qu’il était démontrable à partir des autres axiomes d’Euclide. En le niant, les mathématiciens du XIXᵉ siècle (Lobatchevski, Bolyai, Riemann) n’ont pas trouvé de contradiction : ils ont créé les géométries non euclidiennes. Preuve définitive que ce postulat était bien un axiome indépendant, un choix, et non un théorème caché.
IV. Théorème, lemme, corollaire : ce qu’on démontre
On passe maintenant de l’autre côté de la ligne : les énoncés qui, eux, se démontrent. Ce ne sont pas des points de départ mais des points d’arrivée. Trois mots les désignent selon leur rôle dans la construction, pas selon leur difficulté.
A. Théorème et proposition
Un théorème est un énoncé démontré jugé important. Une proposition est un énoncé démontré de moindre portée. La différence est éditoriale : Pythagore, Thalès, le théorème des valeurs intermédiaires méritent le titre de théorème ; un résultat technique utilisé une fois sera une simple proposition. Un théorème s’écrit typiquement sous la forme d’une implication :
\(\text{(Hypothèses)} \Longrightarrow \text{(Conclusion)}\)B. Le lemme
Un lemme est un résultat démontré au service d’un théorème plus important. C’est un palier intermédiaire : on l’établit d’abord pour alléger la preuve du résultat visé. Le lemme d’Euclide — « si un nombre premier \(p\) divise un produit \(ab\), alors \(p\) divise \(a\) ou \(p\) divise \(b\) » — sert à démontrer le théorème fondamental de l’arithmétique (unicité de la décomposition en facteurs premiers).
Attention : « lemme » ne veut pas dire « facile ». Certains lemmes sont plus profonds que les théorèmes qu’ils servent (le lemme de Zorn, le lemme de Gauss). Le mot qualifie une fonction dans la démonstration, jamais un niveau de difficulté.
C. Le corollaire
Dans le langage courant, un corollaire est une « conséquence ». Le sens mathématique est plus précis : un corollaire est un résultat qui découle presque immédiatement d’un théorème que l’on vient de démontrer, avec peu ou pas de travail supplémentaire.
L’exemple le plus connu au lycée : le corollaire du théorème des valeurs intermédiaires. Le TVI garantit qu’une fonction continue prend toute valeur intermédiaire ; en ajoutant la stricte monotonie, le corollaire garantit l’unicité de la solution de \(f(x) = k\). On ne redémontre pas tout : on ajoute une hypothèse au théorème et la conséquence tombe. C’est la signature d’un corollaire.
V. La conjecture : ce qui n’est pas encore démontré
Dernier terme du côté « admis », mais dans un statut à part : une conjecture est une proposition que l’on croit vraie, appuyée par des observations, mais qui n’est ni démontrée ni réfutée. Tant qu’aucune preuve n’existe, elle ne peut ni servir de fondement (contrairement à un axiome, on ne l’admet pas), ni être invoquée comme théorème.
La conjecture de Goldbach — « tout entier pair supérieur à 2 est somme de deux nombres premiers » — est vérifiée par ordinateur jusqu’à des valeurs gigantesques, sans démonstration générale. Une conjecture devient un théorème le jour où on la démontre (Fermat), ou tombe le jour où l’on trouve un contre-exemple.
La démarche de conjecture est au cœur du travail mathématique, du lycée à la recherche. Elle a sa page dédiée : voir Conjecturer en maths : méthode et exercices corrigés.
VI. Rédiger : où placer un lemme, comment annoncer un corollaire
Savoir ce qu’est un lemme ne suffit pas : un correcteur attend que tu structures ta copie avec ce vocabulaire. Voici les usages de rédaction, quasi absents des manuels.
Annoncer un lemme. Avant une démonstration lourde, isole le résultat technique :
« Nous montrons d’abord le lemme suivant, qui servira dans la suite. Lemme. [énoncé]. Démonstration du lemme. […] ∎ Revenons à la démonstration du théorème. »
Découper ainsi rend la preuve lisible et montre au correcteur que tu maîtrises son architecture.
Pour un corollaire, l’annonce se fait juste après le théorème, sans réintroduire tout l’appareil : « Comme conséquence immédiate du théorème précédent, on obtient le corollaire suivant. » La démonstration d’un corollaire tient souvent en deux lignes — c’est normal, c’est sa définition.
Quant au fameux CQFD (« ce qu’il fallait démontrer ») ou son symbole ∎ : il marque la fin d’une démonstration. Faut-il encore l’écrire ? En prépa, le symbole ∎ ou une simple ligne blanche suffit ; « CQFD » reste correct mais désuet. L’essentiel est de signaler clairement où ta preuve se termine — un correcteur ne doit jamais deviner si tu as fini ou abandonné.
VII. Pour aller plus loin : l’axiome du choix et ZFC
En prépa et en L1, la question « qu’est-ce qu’on a le droit d’admettre ? » devient concrète. Presque toutes les mathématiques reposent sur un système d’axiomes appelé ZFC : Zermelo-Fraenkel augmenté de l’axiome du choix.
Axiome du choix (AC)
Pour toute famille \((A_i)_{i \in I}\) d’ensembles non vides, il existe une fonction \(f\) telle que \(f(i) \in A_i\) pour tout \(i \in I\). Autrement dit : on peut « choisir simultanément » un élément dans chaque ensemble d’une famille, même infinie.
Ce qui rend l’axiome du choix célèbre, c’est qu’il est à la fois indispensable (il sert à prouver que tout espace vectoriel admet une base, via le lemme de Zorn) et indépendant des autres axiomes de ZF : Gödel puis Cohen ont montré qu’on peut l’accepter ou le rejeter sans introduire de contradiction. C’est exactement la situation du postulat des parallèles, transposée à la théorie des ensembles. Pour explorer ce terrain, voir la théorie des ensembles.
VIII. Selon votre niveau
Ces mots ne s’utilisent pas de la même façon selon la classe. Voici ce qui est attendu de toi à chaque étape.
| Lycée (Seconde – Première) | Terminale | Prépa & L1 |
|---|---|---|
| Reconnaître théorème et corollaire, savoir citer un théorème pour justifier une étape. | Comprendre ce qu’on admet (résultats donnés sans preuve dans le programme) vs ce qu’on démontre. | Manipuler axiome du choix, ZFC, structurer une preuve avec lemmes et corollaires. |
Tu es au lycée ? Concentre-toi sur les sections IV et V. En prépa, la section VII et la rédaction (VI) sont le vrai enjeu, notamment en logique et raisonnement, chapitre 1 de MPSI, PCSI, MP2I et PTSI.
IX. Les erreurs fréquentes
Ces confusions reviennent chaque année, en colle comme sur copie. Les identifier une fois évite de les répéter.
❌ « Un axiome, c’est une vérité qu’on peut vérifier. »
Diagnostic : confusion entre axiome et fait observé. Un axiome ne se vérifie pas : on le pose. Sa validité n’est pas dans la nature, elle est dans le choix cohérent qu’on en fait.
✅ Correct : un axiome est admis sans preuve ni vérification, comme règle de départ.
❌ « Je vais démontrer cet axiome. »
Diagnostic : un axiome est par définition indémontrable dans sa propre théorie. Vouloir le démontrer, c’est ne pas avoir compris son statut.
✅ Correct : on démontre un théorème à partir des axiomes ; on n’établit jamais un axiome.
❌ « Cette conjecture est vraie, elle marche sur les 10 premiers cas. »
Diagnostic : une conjecture reste une conjecture tant qu’aucune démonstration générale n’existe. Des milliers de cas favorables ne valent pas une preuve.
✅ Correct : une conjecture devient un théorème seulement après démonstration ; sinon un seul contre-exemple suffit à la détruire.
Une dernière, plus subtile : confondre lemme (résultat autonome démontré) et hypothèse (proposition supposée dans un raisonnement). Un lemme est acquis ; une hypothèse est un « si » provisoire.
X. Quiz : axiome, théorème ou corollaire ?
Cinq énoncés, une seule bonne catégorie à chaque fois. Choisis mentalement, puis déplie la réponse.
✍️ Teste-toi — 5 questions
1. « Par deux points distincts passe une droite et une seule. »
Axiome, théorème ou conjecture ?
Voir la réponse
Axiome (ou postulat). C’est une propriété fondatrice de la géométrie, admise sans démonstration. Historiquement, elle relève des postulats d’Euclide.
2. « Dans un triangle rectangle, le carré de l’hypoténuse égale la somme des carrés des deux autres côtés. »
Axiome, théorème ou lemme ?
Voir la réponse
Théorème (de Pythagore). C’est un résultat démontré, important, énoncé sous forme d’implication.
3. « Si \(f\) est continue et strictement monotone sur \(\left[a\,;b\right]\), alors l’équation \(f(x)=k\) admet au plus une solution. »
Théorème, lemme ou corollaire ?
Voir la réponse
Corollaire du théorème des valeurs intermédiaires : on ajoute l’hypothèse de stricte monotonie au théorème initial, et l’unicité en découle presque immédiatement.
4. « Tout entier pair supérieur à 2 est somme de deux nombres premiers. »
Théorème ou conjecture ?
Voir la réponse
Conjecture (de Goldbach) : crue vraie, vérifiée informatiquement jusqu’à des ordres de grandeur considérables, mais non démontrée à ce jour.
5. « Si un nombre premier \(p\) divise \(ab\), alors \(p\) divise \(a\) ou \(p\) divise \(b\). » Ce résultat sert à prouver l’unicité de la décomposition en facteurs premiers.
Théorème, lemme ou axiome ?
Voir la réponse
Lemme (d’Euclide) : un résultat démontré, mis au service d’un théorème plus important, ici le théorème fondamental de l’arithmétique.
XI. Questions fréquentes
Quelle est la différence entre un axiome et un théorème ?
Un axiome est admis sans démonstration : c’est un point de départ. Un théorème est démontré à partir des axiomes : c’est un point d’arrivée. La ligne de partage est là — on admet un axiome, on démontre un théorème.
Axiome et postulat, est-ce la même chose ?
En mathématiques modernes, oui : les deux désignent une proposition admise sans preuve. Le mot « postulat » garde une nuance historique (les postulats d’Euclide) et s’emploie surtout en géométrie, tandis que « axiome » est le terme standard de l’axiomatique contemporaine.
Pourquoi ne peut-on pas démontrer un axiome ?
Parce que toute démonstration part de quelque chose. Si l’on devait démontrer chaque axiome, il faudrait des prémisses à démontrer elles-mêmes, à l’infini. Les axiomes stoppent cette régression : ce sont les briques de base, choisies pour leur cohérence, pas pour leur démontrabilité.
Un lemme est-il moins important qu'un théorème ?
Pas nécessairement. « Lemme » qualifie un rôle (résultat intermédiaire au service d’une preuve), pas une difficulté. Certains lemmes, comme le lemme de Zorn, sont plus profonds que les théorèmes qu’ils servent.
Combien y a-t-il d'axiomes en mathématiques ?
Il n’y a pas de nombre fixe : cela dépend de la théorie. L’arithmétique repose sur les axiomes de Peano, l’ensemble des mathématiques usuelles sur les axiomes de ZFC (Zermelo-Fraenkel + choix). Une même théorie peut d’ailleurs être axiomatisée de plusieurs façons équivalentes.
XII. Pour aller plus loin
Tu maîtrises maintenant le vocabulaire de la démonstration. Pour continuer dans le chapitre logique et raisonnement :
- Tables de vérité et connecteurs logiques : cours, méthode et exercices
- Les quantificateurs ∀ et ∃ : cours, propriétés et méthodes
- 20 exercices corrigés d’ensembles, applications et relations (Prépa)
- Injection, surjection et bijection : cours complet, méthodes et exercices
