Instance AXIOM-OF-INFINITY


Slots on this instance:

Documentation:
There is a bounded set containing a set, a set that properly contains that set, a third set that properly contains the second set, and so forth. In short, there is at least one bounded set of infinite cardinality.

Notes: