>>603
＞超限帰納法は、論点ずらしでしょ

根本ですが

任意の順序数について無限降下列が存在しないから、超限帰納法が成立する
https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82

>>605
＞二階述語論理で同型

全然無関係
そもそも最初の超限順序数のZermelo構成の仕方が間違ってる
Zermelo構成でも最初の超限順序数は、シングルトンにはなりません