cela vaudrait mieux, mais alors il faudrait énoncer l’axiome explicitement.
D’autres définitions peuvent donner lieu à des réflexions non moins importantes.
Telle est par exemple celle de l’égalité de deux figures : deux figures sont égales quand on peut les superposer ; pour les superposer il faut déplacer l’une d’elles jusqu’à ce qu’elle coïncide avec l’autre ; mais comment faut-il la déplacer ? Si nous le demandions, on nous répondrait sans doute qu’on doit le faire sans la déformer et à la façon d’un solide invariable. Le cercle vicieux serait alors évident.
En fait, cette définition ne définit rien ; elle n’aurait aucun sens pour un être qui habiterait un monde où il n’y aurait que des fluides. Si elle nous semble claire, c’est que nous sommes habitués aux propriétés des solides naturels qui ne diffèrent pas beaucoup de celles des solides idéaux dont toutes les dimensions sont invariables.
Cependant, tout imparfaite qu’elle soit, cette définition implique un axiome.
La possibilité du mouvement d’une figure invariable n’est pas une vérité évidente par elle-même, ou du moins elle ne l’est qu’à la façon du postulatum d’Euclide et non comme le serait un jugement analytique a priori.
D’ailleurs, en étudiant les définitions et les démonstrations de la géométrie, on voit qu’on est obligé d’admettre, sans les démontrer, non seulement la possibilité de ce mouvement, mais encore quelques-unes de ses propriétés.
