classes each having
members must itself have
members, but this inference is fallacious, since we do not know that the number of terms in such a sum is
, nor consequently that it is
. This has a bearing upon the theory of transfinite ordinals. It is easy to prove that an ordinal which has