>>411
{{…{{}}…}}が集合でないという問題には取り合えず目を瞑ったとして。。。

後者関数 s(x)={x}、ω={{…{{}}…}} と定義した場合
　ωの前者 {…{{}}…} が存在する！

後者関数 s(x)=x∪{x}、ω={0,1,2,…} と定義した場合
　ωの前者は {0,1,2,…} から最大限を取り除いた集合であるが、んなものは存在しない。

>あんたの論法では、ノイマン構成 ωも同じく、「ωは後続順序数で、極限順序数の定義に反する」となるぜ
言い負けまいと脊椎反射で返すのが許されるのは三歳児までね