Terme
Théorème
- Nom
- théorème, théorèmes
- Termes plus larges
- Assertion
- Termes plus spécifiques
- Corollaire
- Cas particulier de
- Assertion
- Cas particuliers
- Corollaire
Définition
Définition Axiomes, propriétés, propositions et théorèmes
Certaines assertions sont déclarées vraies a priori : ce sont des axiomes. Sinon la véracité d’une assertion doit résulter d’une démonstration. Les assertions démontrées sont appelées propriétés ou propositions pour la plupart des résultats et théorèmes pour les résultats les plus fondamentaux.
Module : Assertions