21/11/17 08:33:41.89 SyxUn7xV.net
>>362
>答えられないんですね？
読めば？ｗ
URLﾘﾝｸ(www.sci.shizuoka.ac.jp)
集合・濃度・順序数・基数
藤田 博司
愛媛大学理学部
2019 年 9 月 3 日
数学基礎論サマースクール 2019 @静岡大学
>>363
> 1. ε∋ε∋ε∋… なる∈無限下降列が存在するからεは正則性公理を満たさない。
それ間違っているよ
かつ、反基礎の公理も考えられるから（下記）、
正則性公理でそのような集合が否定されるわけではないよ
単に、正則性公理の外かも知れないってことだけ
URLﾘﾝｸ(pssj.info)
超集合論?circularityの論理の現在?
(ワークショップ資料)
向井国昭
慶應義塾大学湘南藤沢
2002/11/10
P4
超集合論は, ZFC の FA(基礎の公理) を AFA (反基礎の公理,Anti-Foundation Axiom) に置き換えて得られる集合論である．