Terme

Axiome

Nom
axiome, axiomes
Termes plus larges
Assertion
Cas particulier de
Assertion

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