Terme
Propriété mathématique
- Nom
- propriété, propriétés
- Termes plus larges
- Assertion
- Termes plus spécifiques
- Raisonnement par récurrence
- Cas particulier de
- Assertion
- Employé par
- Raisonnement par récurrence
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