is a non-inductive class and
is any inductive number, there are sub-classes of
that have
terms. Thus we can form sets of finite sub-classes of
: First one class having no terms, then classes having 1 term (as many as there are members of
is a non-inductive class and
is any inductive number, there are sub-classes of
that have
terms. Thus we can form sets of finite sub-classes of
: First one class having no terms, then classes having 1 term (as many as there are members of