complete induction does not enter. That is true in a certain measure; we can not say it is entirely absent, but it enters very slightly. If we refer to the Rational Geometry of Dr. Halsted (New York, John Wiley and Sons, 1904) built up in accordance with the principles of Hilbert, we see the principle of induction enter for the first time on page 114 (unless I have made an oversight, which is quite possible).1414
So geometry, which only a few years ago seemed the domain where the reign of intuition was uncontested, is to-day the realm where the logicians seem to triumph. Nothing could better measure the importance of the geometric works of Hilbert and the profound impress they have left on our conceptions.
But be not deceived. What is after all the fundamental theorem of geometry? It is that the assumptions of geometry imply no contradiction, and this we can not prove without the principle of induction.
How does Hilbert demonstrate this essential point? By leaning upon analysis and through it upon arithmetic and through it upon the principle of induction.
And if ever one invents another demonstration, it will still be necessary to lean upon this principle, since the possible consequences of the assumptions, of which it is necessary to show that they are not contradictory, are infinite in number.
XI
Conclusion
Our conclusion straightway is that the principle of induction can not be regarded as the disguised definition of the entire world.
Here are three truths: (1) The principle of complete induction; (2) Euclid's postulate; (3) the physical law according to which phosphorus melts at 44° (cited by M. Le Roy).
These are said to be three disguised definitions: the first, that of the whole number; the