Bélidor, Bernard Forest de - Nouveau cours de mathématique à l' usage de l' artillerie et du génie : où l' on applique les parties les plus utiles de cette science à la théorie & à la pratique des différens sujets qui peuvent avoir rapport à la guerre

402NOUVEAU COURS tion. Il y en a de différentes ſortes, & elles changent de nom
ſuivant leur objet. Par exemple,

III.

3. Axiome eſt une propoſition ſi claire, qu’elle n’a pas
beſoin de démonſtration pour qu’on en voie la vérité. De
ces propoſitions ſont les ſuivantes. Le tout eſt plus grand qu’une
de ſes parties; deux choſes égales à une même troiſieme, ſont égales
entr’elles; ſi à des quantités égales on ajoute des quantités égales,
les quantités qui en réſulteront ſeront encore égales, & c. On fait
un grand uſage de ces propoſitions dans la Géométrie, ſi ſim-
ples qu’elles paroiſſent.

IV.

4. Théorême eſt une propoſition dont il faut démontrer
la vérité.

5. Problême eſt une propoſition dans laquelle il s’agit d’exé-
cuter quelqu’opération, ſuivant certaines conditions, & de
prouver enſuite que l’on a réellement fait ce qui étoit en
queſtion.

VI.

6. Lemme eſt une propoſition qui en précéde une autre,
pour en faciliter l’intelligence & la démonſtration.

VII.

VIII.

IX.