23/12/13 23:02:46.21 b464xS7y.net
>>458 追加
(参考)
URLﾘﾝｸ(masou.blogspot.com)
Masou
2008-04-06
正則性公理- x∈x の排除
基礎の公理とは，
2. x∈x を排除できる。
(もし、x∈x とすると、x∈x∈x∈x.. 無限降下列ができてしまう)
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
集合論の覚書
松尾信一郎の雑記帳 2023年07月31日 #数学基礎論
正則性公理や正礎性公理とも呼ばれる． さて，基礎の公理から，∀x[x∉x] である．