>>633
>>それ解説ついているでしょ？
>私に指摘されて初めて英語読んだでしょ？
>大学数学で挫折した高卒童貞君

いや、チラ見してスルーしてた
　>>632の箇所は
Epsilon-induction に特有ではなく
超限帰納法 一般に成り立つことでしょ

∀x.((∀(y∈x).ψ(y))→ψ(x))→∀z.ψ(z)
の”∈”を、一般の整楚関係”＜”に置き換えれば（＜は整数の大小を一般の整楚に拡張したもの）

超限帰納法を知っていれば
すぐ分ることでは？