Layman question about proving mathematical induction from axioms of set theory

Printable View