|
|
| Terme mathématique | Axiome |
| Définition | Assertion admise mais non démontrable, utilisée comme base d'un raisonnement ou d'une théorie. |
| Terme mathématique | Conjecture |
| Définition | Assertion basée sur l'intuition à laquelle on ne connaît pas de contre-exemple, mais dont on ne connaît pas la valeur de vérité car non encore démontrée. |
| Terme mathématique | Corollaire |
| Définition | Propriété ou résultat qui se déduit directement d'un théorème, de manière évidente. |
| Terme mathématique | Définition |
| Définition | Énoncé qui précise la nature d'une entité ou d'un concept mathématique. |
| Terme mathématique | Démonstration |
| Définition | Ensemble structuré d'étapes de raisonnement conduisant à prouver ou à réfuter une proposition. |
| Terme mathématique | Lemme |
| Définition | Petit théorème ou résultat intermédiaire utilisé pour la démonstration d'un théorème plus important. |
| Terme mathématique | Postulat |
| Définition | Très proche de l'axiome, c'est un principe non démontré utilisé dans la construction d'une théorie mathématique. |
| Terme mathématique | Proposition |
| Définition | Énoncé d'une propriété qui doit être prouvée ou réfutée. |
| Terme mathématique | Théorème |
| Définition | Proposition démontrée, dont la validité est définitivement acquise. |
| Terme mathématique | Théorie |
| Définition | Ensemble cohérent d'affirmations comprenant des axiomes et des théorèmes démontrables à partir de ces axiomes. |