>>113
>保存拡大は、二つの論理系(mathematical logic)について言うもものだが
>無限シングルトンの話は、一つの公理系中で完結するから、
>基本的に保存拡大とは無関係だよ

アルェー、お🐒のSET A君　今日の08:59:29.44に　
>>92でなんて書いたかもう忘れたの？ｗ

>1．可算多重シングルトン {{・・{{}}・・}}が、
>　仮に正則性公理を満たさないとしても、
>　”non-well-founded set theory”もあるから、
>　存在しうるよ

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

しかもZFC-AFA(Anti-Founded Axiom)はZFCの「保存拡大」ではないよね

お🐒のSET A君、AMに云ったこと、PMに忘れちゃうんだね
ていうか、もしかして公理系って何か、全然理解してない？
公理系って公理の集まりだよ？

ZFC-AFAは、ZFCから正則性公理を抜いて、
その代わりにAFAを追加してるんだよ　理解してる？