Talk:Transfinite Induction/Principle 1

The validity problem
To ward off a revert, the problem with what was here before is that it did not properly justify the existence of a minimal element of $\operatorname{On} \setminus A$.

The fact it needs for this, specifically, is that the epsilon relation is strongly well-founded on $\operatorname{On}$. I imagine there are any number of ways to prove this (the most trivial being to accept AoF, in which case Axiom of Foundation (Strong Form) does the trick), but it is not inherently trivial enough to handwave. --Dfeuer (talk) 20:34, 24 April 2013 (UTC)