# The Principles of Mathematics (1903)

## § 74

A question which is very fundamental in the philosophy of Arithmetic must now be discussed in a more or less preliminary fashion. Is a class which has many terms to be regarded as itself one or many? Taking the class as equivalent simply to the numerical conjunction A and B and C and etc., it seems plain that it is many; yet it is quite necessary that we should be able to count classes as one each, and we do habitually speak of a class. Thus classes would seem to be one in one sense many in another.(§ 74 ¶ 1)

There is a certain temptation to identify the class as many and the class as one, e.g., all men and the human race. Nevertheless, wherever a class consists of more than one term, it can be proved that no such identification is permissible. A concept of a class, if it denotes a class as one, is not the same as any concept of the class which it denotes. That is to say, classes of all rational animals, which denotes the human race as one term, is different from men, which denotes men, i.e. the human race as many. But if the human race were identical with men, it would follow that whatever denotes the one must denote the other, and the above difference would be impossible. We might be tempted to infer that Peano's distinction, between a term and a class of which the said term is the only member, must be maintained, at least when the term in question is a class[59]. But it is more correct, I think, to infer an ultimate distinction between a class as many and a class as one, to hold that the many are only many, and are not also one. The class as one may be identified with the whole composed of the terms of the class, i.e., in the case of men, the class as one will be the human race.(§ 74 ¶ 2)