7
$\begingroup$

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?

  • 2
    Exercise 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

1 Answers 1