>>115
（引用開始）
ZFCという”well-founded set theory”では存在しないが
”non-well-founded set theory”では存在する、といってるよね
つまり「一つの公理系中で完結」してないよね？
（引用開始）

”存在する”といってねーよ、”存在しうる”で。下記だよ
1．正確には、シングルトンの後者関数の極限で lim n→∞ で、{{・・{{}}・・}}ω と出来るってこと
2．無責任だが、{{・・{{}}・・}}ω がどういう性質を持っているか？　あるいは、持たせるべきか？ それは、誰か考えればいいべ
3．”可算多重シングルトン {{・・{{}}・・}}が、仮に正則性公理を満たさないとしても”は、あくまで百歩譲ってという仮定の話で、だれも未証明だよ
4．仮に正則性公理を満たさないとしても、「”non-well-founded set theory”（下記）もあるから、存在しうる」ってこと
5．つまり、「正則性公理に反する」という主張に、カウンターとして、「正則性公理を否定すれば良い」と言っただけのこと
6．そして、ZFCと”non-well-founded set theory”とは、明らかに「保存拡大」ではない
7．というか、そもそも、（上記二つの公理系で）一方が片方の「拡大」になっているかどうかも（未確認で）、そんなことは知ったことではないｗｗｗ
　（「拡大」も違うんじゃね？ お互い、相手の証明できない定理が存在するのでは？）

以上