be any inductive cardinal number, there is at least one class of individuals having
terms."
If this is true, it follows, of course, that there are many classes of individuals having
terms, and that the total number of individuals in the world is not an inductive number. For, by the axiom, there is at least one class having
terms, from which it follows that there are many classes of
terms and that