Help with Kunen and recursion on wellfounded sets.

Printable View