. It might be thought that this could be proved. We can prove that, if

is an inductive class, and

is the number of members of

, then

is not equal to