Un axiome est une vérité évidente par elle-même

ExewrLes. Deuc grandeurs égales chacune à une troisième sont égales entre elles. — Si l'on fait une même opération sur deux quantités égales, les résultats sont égaux,

2, Un théorème est l'énoncé d’une vérité qui a besoin d'une démonstration, — ExemPe, La somme des angles d’un triangle est égale à deux angles droits.

On nomme postulatum ou demande l'énoncé d’un théorème admis

sans démonstration, Un lemme est un théorème préparatoire à la démonstration d'un

autre théorème, ou à la résolution d’un problème.