21/10/10 15:29:36.43 WvyKzuhg.net
>>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を追加してるんだよ 理解してる？