3.II.16F

Logic and Set Theory
Part II, 2005

State the Axiom of Foundation and the Principle of \in-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 \in-Induction implies that every set is a member of some VαV_{\alpha}.

For each natural number nn, find the cardinality of VnV_{n}. For which ordinals α\alpha is the cardinality of VαV_{\alpha} equal to that of the reals?