. The axiom of infinity assures us (whether truly or falsely) that there are classes having

members, and thus enables us to assert that

is not equal to

. But without this axiom we should be left with the possibility that

and