As to the third, evidently it implies no contradiction. Does this mean that the definition guarantees, as it should, the existence of the object defined? We are here no longer in the mathematical sciences, but in the physical, and the word existence has no longer the same meaning. It no longer signifies absence of contradiction; it means objective existence.
You already see a first reason for the distinction I made between the three cases; there is a second. In the applications we have to make of these three concepts, do they present themselves to us as defined by these three postulates?
The possible applications of the principle of induction are innumerable; take, for example, one of those we have expounded above, and where it is sought to prove that an aggregate of assumptions can lead to no contradiction. For this we consider one of the series of syllogisms we may go on with in starting from these assumptions as premises. When we have finished the nth syllogism, we see we can make still another and this is the n + 1th. Thus the number n serves to count a series of successive operations; it is a number obtainable by successive additions. This therefore is a number from which we may go back to unity by successive subtractions. Evidently we could not do this if we had n = n − 1, since then by subtraction we should always obtain again the same number. So the way we have been led to consider this number n implies a definition of the finite whole number and this definition is the following: A finite whole number is that which can be obtained by successive additions; it is such that n is not equal to n − 1.
That granted, what do we do? We show that if there has been no contradiction up to the nth syllogism, no more will there be up to the n + 1th, and we conclude there never will be. You say: I have the right to draw this conclusion, since the whole numbers are by definition those for which a like reasoning is legitimate. But that implies another definition of the whole number, which is as follows: A whole number is that on which we may reason by recurrence. In the particular case it is that of which we may say that, if the absence of contradiction up to the time of a syllogism of which the number is an integer carries with it the absence of contradiction up to the time of the syllogism whose number is the following integer, we need fear no contradiction for any of the syllogisms whose number is an integer.
The two definitions are not identical; they are doubtless equivalent, but only in virtue of a synthetic judgment a priori; we can not pass from one to the other by a purely logical procedure. Consequently we have no right to adopt the second, after having introduced the whole number by a way that presupposes the first.
On the other hand, what happens with regard to the straight line? I have already explained this so often that I hesitate to repeat it again, and shall confine myself to a brief recapitulation of my thought. We have not, as in the preceding case, two equivalent definitions logically irreducible one to the other. We have only one expressible in words. Will it be said there is another which we feel without being able to word it, since we have the intuition of the straight line or since we represent to ourselves the straight line? First of all, we can not represent it to ourselves in geometric space, but only in representative space, and then we can represent to ourselves just as well the objects which possess the other properties of the straight line, save that of satisfying Euclid's postulate. These objects are 'the non-Euclidean straights,' which from a certain point of view are not entities void of sense, but circles (true circles of true space) orthogonal to a certain sphere. If, among these objects equally capable of representation, it is the first (the Euclidean straights) which we call straights, and not the latter (the non-Euclidean straights), this is properly by definition.