The Euclidean geometry would thus be only a provisional geometry.
To discuss this opinion, we should first ask ourselves what is the nature of the geometric axioms.
Are they synthetic a priori judgments, as Kant said?
They would then impose themselves upon us with such force that we could not conceive the contrary proposition, nor build upon it a theoretic edifice. There would be no non-Euclidean geometry.
To be convinced of it take a veritable synthetic a priori judgment, the following, for instance, of which we have seen the preponderant rôle in the first chapter:
If a theorem is true for the number 1, and if it has been proved that it is true of n + 1 provided it is true of n, it will be true of all the positive whole numbers.
Then try to escape from that and, denying this proposition, try to found a false arithmetic analogous to non-Euclidean geometry—it can not be done; one would even be tempted at first blush to regard these judgments as analytic.
Moreover, resuming our fiction of animals without thickness, we can hardly admit that these beings, if their minds are like ours, would adopt the Euclidean geometry which would be contradicted by all their experience.
Should we therefore conclude that the axioms of geometry are experimental verities? But we do not experiment on ideal straights or circles; it can only be done on material objects. On what then could be based experiments which should serve as foundation for geometry? The answer is easy.
We have seen above that