おサル
問題をわざと、論点そらししているな

いま問題にしていることは
後者関数suc(a)で
ｎ→∞の極限

すなわち 極限 lim ｎ→∞ suc(a) が正則性公理に反する
というのがおサルの主張

そんなことはないというのが、
オレだよおれｗ（＾＾；