3.II.16F
State the Axiom of Foundation and the Principle of -Induction, and show that they are equivalent (in the presence of the other axioms of ZF). [You may assume the existence of transitive closures.]
Explain briefly how the Principle of -Induction implies that every set is a member of some .
For each natural number , find the cardinality of . For which ordinals is the cardinality of equal to that of the reals?
Typos? Please submit corrections to this page on GitHub.