toute l’arithmétique, l’algèbre et la géométrie sont des suites de leur vérité. D’autre part, cependant, elles ne sont point l’œuvre de l’expérience, car nous n’avons pas besoin de voir effectivement et avec nos yeux deux lignes droites pour savoir qu’elles ne peuvent enclore un espace ; il nous suffit de consulter la conception intérieure que nous en avons : le témoignage de nos sens à cet égard est inutile ; notre croyance naît tout entière, et avec toute sa force, de la simple comparaison de nos idées. De plus, l’expérience ne suit ces deux lignes que jusqu’à une distance bornée, dix, cent, mille pieds, et l’axiome est vrai pour mille, cent mille, un million de lieues, et à l’infini ; donc, à partir de l’endroit où l’expérience cesse, ce n’est plus elle qui établit l’axiome. Enfin l’axiome est nécessaire, c’est-à-dire que le contraire est inconcevable. Nous ne pouvons imaginer un espace enclos par deux lignes droites ; sitôt que nous imaginons l’espace comme enclos, les deux lignes cessent d’être droites ; sitôt que nous imaginons
