seconde manière de connaître l’axiome, et il est clair qu’elle diffère beaucoup de la première. Dans la première, on le constate ; dans la seconde, on le déduit. Dans la première, on éprouve qu’il est vrai ; dans la seconde, on prouve qu’il est vrai. Dans la première, on l’admet ; dans la seconde, on l’explique. Dans la première, on remarquait seulement que le contraire de l’axiome est inconcevable ; dans la seconde, on découvre en plus que le contraire de l’axiome est contradictoire. Étant donné la définition de la ligne droite, l’axiome que deux droites ne peuvent enclore un espace s’y trouve compris ; il en dérive comme une conséquence de son principe. En somme, il n’est qu’une proposition identique, ce qui veut dire que son sujet contient son attribut ; il ne joint pas deux termes séparés, irréductibles l’un à l’autre : il unit deux termes dont le second est une portion du premier. Il est une simple analyse. Et tous les axiomes sont ainsi. Il suffit de les décomposer pour apercevoir qu’ils vont non d’un objet
