Consider the set induction scheme: (Forall x Forall y (y in x implies Phi(y))) implies (Forall z Phi(z)) With this included, which other axioms of ZFC may be dispensed with? — JS