, ... sub-classes of
, instead of a progression of collections of sub-classes; thus we are one step nearer to our goal. We now know that, assuming the multiplicative axiom, if
is a non-inductive number,
must be a reflexive number.
The next step is to notice that, although we cannot be sure that new members of
come in at any one specified stage in the progression