A side note of possible interest. Under ZF, as well as ZFC, one can actually prove that induction works, via Tarski’s fixed point theorem. Thus, if you think that induction seems a little weird as an axiom,, but set theory is cool, you still get to use induction.
A side note of possible interest. Under ZF, as well as ZFC, one can actually prove that induction works, via Tarski’s fixed point theorem. Thus, if you think that induction seems a little weird as an axiom,, but set theory is cool, you still get to use induction.