I recently came upon this technique called epsilon induction, and was searching for some proof using the same. But I saw no such proof. Does someone know of any proof using this technique?
Epsilon induction
7
$\begingroup$
set-theory
transfinite-recursion
-
2Exercise for you: prove that every set has a well-defined [rank](http://en.wikipedia.org/wiki/Rank_%28set_theory%29). Next, show that epsilon induction and well-foundedness are equivalent. – 2012-05-01