(sputype)

Géométrie fixe à partir de certaines conceptions telles que avion, point et ligne droite, avec lesquels nous sommes en mesure d'associer plus ou moins définie des idées, et de certaines propositions simples (axiomes), qui, en vertu de ces idées , nous sommes enclins à accepter comme «vrai». Puis, sur la base d'un processus logique, la justification de ce qui nous nous sentons obligés d'admettre, toutes les propositions restant sont affichés à suivre à partir de ces axiomes, c'est à dire qu'ils sont prouvés.