現代数学の系譜 カントル 超限集合論他 3

367 ：１３２人目の素数さん：2021/11/17(水) 08:33:41.89 ID:SyxUn7xV.net

>>362
>答えられないんですね？

読めば？ｗ

https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/fujita0.pdf
集合・濃度・順序数・基数
藤田 博司
愛媛大学理学部
2019 年 9 月 3 日
数学基礎論サマースクール 2019 @静岡大学

>>363
> 1. ε∋ε∋ε∋… なる∈無限下降列が存在するからεは正則性公理を満たさない。

それ間違っているよ
かつ、反基礎の公理も考えられるから（下記）、
正則性公理でそのような集合が否定されるわけではないよ
単に、正則性公理の外かも知れないってことだけ

http://pssj.info/program_ver1/program_data_ver1/35/ws/mukai.pdf
超集合論?circularityの論理の現在?
(ワークショップ資料)
向井国昭
慶應義塾大学湘南藤沢
2002/11/10
P4
超集合論は, ZFC の FA(基礎の公理) を AFA (反基礎の公理,Anti-Foundation Axiom) に置き換えて得られる集合論である．