Introduction to Mathematical Philosophy

THE series of natural numbers, as we saw in Chapter I., can all be defined if we know what we mean by the three terms "0," "number," and "successor." But we may go a step farther: we can define all the natural numbers if we know what we mean by "0" and "successor." It will help us to understand the difference between finite and infinite to see how this can be done, and why the method by which it is done cannot be extended beyond the finite. We will not yet consider how "0" and "successor" are to be defined: we will for the moment assume that we know what these terms mean, and show how thence all other natural numbers can be obtained. It is easy to see that we can reach any assigned number, say 30,000. We first define "1" as "the successor of 0," then we define "2" as "the successor of 1," and so on. In the case of an assigned number, such as 30,000, the proof that we can reach it by proceeding step by step in this fashion may be made, if we have the patience, by actual experiment: we can go on until we actually arrive at 30,000. But although the method of experiment is available for each particular natural number, it is not available for proving the general proposition that all such numbers can be reached in this way, i.e. by proceeding from 0 step by step from each number to its successor. Is there any other way by which this can be proved? Let us consider the question the other way round. What are the numbers that can be reached, given the terms "0" and [Pg 20] "successor"? Is there any way by which we can define the whole class of such numbers? We reach 1, as the successor of 0; 2, as the successor of 1; 3, as the successor of 2; and so on. It is this "and so on" that we wish to replace by something less vague and indefinite. We might be tempted to say that "and so on" means that the process of proceeding to the successor may be repeated any finite number of times; but the problem upon which we are engaged is the problem of defining "finite number," and therefore we must not use this notion in our definition. Our definition must not assume that we know what a finite number is. The key to our problem lies in mathematical induction. It will be remembered that, in Chapter I., this was the fifth of the five primitive propositions which we laid down about the natural numbers. It stated that any property which belongs to 0, and to the successor of any number which has the property, belongs to all the natural numbers. This was then presented as a principle, but we shall now adopt it as a definition. It is not difficult to see that the terms obeying it are the same as the numbers that can be reached from 0 by successive steps from next to next, but as the point is important we will set forth the matter in some detail. We shall do well to begin with some definitions, which will be useful in other connections also. A property is said to be "hereditary" in the natural-number series if, whenever it belongs to a number , it also belongs to , the successor of . Similarly a class is said to be "hereditary" if, whenever is a member of the class, so is . It is easy to see, though we are not yet supposed to know, that to say a property is hereditary is equivalent to saying that it belongs to all the natural numbers not less than some one of them, e.g. it must belong to all that are not less than 100, or all that are less than 1000, or it may be that it belongs to all that are not less than 0, i.e. to all without exception. A property is said to be "inductive" when it is a hereditary [Pg 21] property which belongs to 0. Similarly a class is "inductive" when it is a hereditary class of which 0 is a member. Given a hereditary class of which 0 is a member, it follows that 1 is a member of it, because a hereditary class contains the successors of its members, and 1 is the successor of 0. Similarly, given a hereditary class of which 1 is a member, it follows that 2 is a member of it; and so on. Thus we can prove by a step-by-step procedure that any assigned natural number, say 30,000, is a member of every inductive class. We will define the "posterity" of a given natural number with respect to the relation "immediate predecessor" (which is the converse of "successor") as all those terms that belong to every hereditary class to which the given number belongs. It is again easy to see that the posterity of a natural number consists of itself and all greater natural numbers; but this also we do not yet officially know. By the above definitions, the posterity of 0 will consist of those terms which belong to every inductive class. It is now not difficult to make it obvious that the posterity of 0 is the same set as those terms that can be reached from 0 by successive steps from next to next. For, in the first place, 0 belongs to both these sets (in the sense in which we have defined our terms); in the second place, if belongs to both sets, so does . It is to be observed that we are dealing here with the kind of matter that does not admit of precise proof, namely, the comparison of a relatively vague idea with a relatively precise one. The notion of "those terms that can be reached from 0 by successive steps from next to next" is vague, though it seems as if it conveyed a definite meaning; on the other hand, "the posterity of 0" is precise and explicit just where the other idea is hazy. It may be taken as giving what we meant to mean when we spoke of the terms that can be reached from 0 by successive steps. We now lay down the following definition:— The "natural numbers" are the posterity of 0 with respect to the [Pg 22] relation "immediate predecessor" (which is the converse of "successor"). We have thus arrived at a definition of one of Peano's three primitive ideas in terms of the other two. As a result of this definition, two of his primitive propositions—namely, the one asserting that 0 is a number and the one asserting mathematical induction—become unnecessary, since they result from the definition. The one asserting that the successor of a natural number is a natural number is only needed in the weakened form "every natural number has a successor." We can, of course, easily define "0" and "successor" by means of the definition of number in general which we arrived at in Chapter II. The number 0 is the number of terms in a class which has no members, i.e. in the class which is called the "null-class." By the general definition of number, the number of terms in the null-class is the set of all classes similar to the null-class, i.e. (as is easily proved) the set consisting of the null-class all alone, i.e. the class whose only member is the null-class. (This is not identical with the null-class: it has one member, namely, the null-class, whereas the null-class itself has no members. A class which has one member is never identical with that one member, as we shall explain when we come to the theory of classes.) Thus we have the following purely logical definition:— 0 is the class whose only member is the null-class. It remains to define "successor." Given any number , let be a class which has members, and let be a term which is not a member of . Then the class consisting of with added on will have members. Thus we have the following definition:— The successor of the number of terms in the class is the number of terms in the class consisting of a together with , where is any term not belonging to the class. Certain niceties are required to make this definition perfect, but they need not concern us.[5] It will be remembered that we [Pg 23] have already given (in Chapter II.) a logical definition of the number of terms in a class, namely, we defined it as the set of all classes that are similar to the given class. [5]See Principia Mathematica, vol. II. * 110. We have thus reduced Peano's three primitive ideas to ideas of logic: we have given definitions of them which make them definite, no longer capable of an infinity of different meanings, as they were when they were only determinate to the extent of obeying Peano's five axioms. We have removed them from the fundamental apparatus of terms that must be merely apprehended, and have thus increased the deductive articulation of mathematics. As regards the five primitive propositions, we have already succeeded in making two of them demonstrable by our definition of "natural number." How stands it with the remaining three? It is very easy to prove that 0 is not the successor of any number, and that the successor of any number is a number. But there is a difficulty about the remaining primitive proposition, namely, "no two numbers have the same successor." The difficulty does not arise unless the total number of individuals in the universe is finite; for given two numbers and , neither of which is the total number of individuals in the universe, it is easy to prove that we cannot have unless we have . But let us suppose that the total number of individuals in the universe were (say) 10; then there would be no class of 11 individuals, and the number 11 would be the null-class. So would the number 12. Thus we should have 11 = 12; therefore the successor of 10 would be the same as the successor of 11, although 10 would not be the same as 11. Thus we should have two different numbers with the same successor. This failure of the third axiom cannot arise, however, if the number of individuals in the world is not finite. We shall return to this topic at a later stage.[6] [6]See Chapter XIII. Assuming that the number of individuals in the universe is not finite, we have now succeeded not only in defining Peano's [Pg 24] three primitive ideas, but in seeing how to prove his five primitive propositions, by means of primitive ideas and propositions belonging to logic. It follows that all pure mathematics, in so far as it is deducible from the theory of the natural numbers, is only a prolongation of logic. The extension of this result to those modern branches of mathematics which are not deducible from the theory of the natural numbers offers no difficulty of principle, as we have shown elsewhere.[7] [7]For geometry, in so far as it is not purely analytical, see Principles of Mathematics, part VI.; for rational dynamics, ibid., part VII. The process of mathematical induction, by means of which we defined the natural numbers, is capable of generalisation. We defined the natural numbers as the "posterity" of 0 with respect to the relation of a number to its immediate successor. If we call this relation , any number will have this relation to . A property is "hereditary with respect to ," or simply "-hereditary," if, whenever the property belongs to a number , it also belongs to , i.e. to the number to which has the relation . And a number will be said to belong to the "posterity" of with respect to the relation if has every -hereditary property belonging to . These definitions can all be applied to any other relation just as well as to . Thus if is any relation whatever, we can lay down the following definitions:[8]— [8]These definitions, and the generalised theory of induction, are due to Frege, and were published so long ago as 1879 in his Begriffsschrift. In spite of the great value of this work, I was, I believe, the first person who