may be 0 without spoiling our argument; then if we form the complete set of individuals, classes, classes of classes, etc., all taken together, the number of terms in our whole set will be
which is
. Thus taking all kinds of objects together, and not confining ourselves to objects of any one type, we shall certainly obtain an infinite class, and shall therefore not need the axiom of infinity. So it might be said.
Now, before going into this argument, the first thing to observe is that there is an air of hocus-pocus about it: something reminds one of the conjurer who brings things out of the hat. The man who has lent his hat is quite sure there wasn't a live rabbit in it before, but he is at a loss to say how the rabbit got there. So the reader, if he has a robust sense of reality, will feel convinced that it is impossible to manufacture an infinite collection out of a finite collection of individuals, though he may be unable to say where the flaw is in the above construction. It would be a mistake to lay too much stress on such feelings of hocus-pocus; like other emotions, they may easily lead us astray. But they afford a prima facie ground for scrutinising very closely any argument which arouses them. And when the above argument is scrutinised it will, in my opinion, be found to be fallacious, though the fallacy is a subtle one and by no means easy to avoid consistently.
The fallacy involved is the fallacy which may be called "confusion of types." To explain the subject of "types" fully would require a whole volume; moreover, it is the purpose of this book to avoid those parts of the subjects which are still obscure and controversial, isolating, for the convenience of beginners, those parts which can be accepted as embodying mathematically ascertained truths. Now the theory of types emphatically does not belong to the finished and certain part of our subject: much of this theory is still inchoate, confused, and obscure. But the need of some doctrine of types is less doubtful than the precise form the doctrine should take; and in connection with the axiom of infinity it is particularly easy to see the necessity of some such doctrine.
This necessity results, for example, from the "contradiction of the greatest cardinal." We saw in Chapter VIII. that the number of classes contained in a given class is always greater than the number of members of the class, and we inferred that there is no greatest cardinal number. But if we could, as we suggested a moment ago, add together into one class the individuals, classes of individuals, classes of classes of individuals, etc., we should obtain a class of which its own sub-classes would be members. The class consisting of all objects that can be counted, of whatever sort, must, if there be such a class, have a cardinal number which is the greatest possible. Since all its sub-classes will be members of it, there cannot be more of them than there are members. Hence we arrive at a contradiction.
When I first came upon this contradiction, in the year 1901, I attempted to discover some flaw in Cantor's proof that there is no greatest cardinal, which we gave in Chapter VIII. Applying this proof to the supposed class of all imaginable objects, I was led to a new and simpler contradiction, namely, the following:—
The comprehensive class we are considering, which is to embrace everything, must embrace itself as one of its members. In other words, if there is such a thing as "everything," then "everything" is something, and is a member of the class "everything." But normally a class is not a member of itself. Mankind, for example, is not a man. Form now the assemblage of all classes which are not members of themselves. This is a class: is it a member of itself or not? If it is, it is one of those classes that are not members of themselves, i.e. it is not a member of itself. If it is not, it is not one of those classes that are not members of themselves, i.e. it is a member of itself. Thus of the two hypotheses—that it is, and that it is not, a member of itself—each implies its contradictory. This is a contradiction.