19/12/07 19:54:05.49 H2e5WMAT.net
サルと人の区別ができず、おサル相手に話しかける人がいるとはｗ（＾＾；
Inter-universal geometry と ABC予想 42
ｽﾚﾘﾝｸ(math板:700番)-
700 名前：１３２人目の素数さん[] 投稿日：2019/12/07(土) 09:51:58.46 ID:uZFmzNJe [2/7]
これは問題の解決に立ちはだかる本質的な困難なんでしょうか？
特に”loop”である必要はどこから出てくるんでしょうか？
701 名前：１３２人目の素数さん[] 投稿日：2019/12/07(土) 09:59:15.64 ID:uZFmzNJe [3/7]
しかし∈-loopsは、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）
∈-loopsが必要なら「代替集合論」ZFC-AFAは不可欠でしょう
704 名前：１３２人目の素数さん[sage] 投稿日：2019/12/07(土) 18:20:03.95 ID:WBQvpVpJ [1/2]
>>700-701
まず最初に、あなたは最終節をすべて読んだのでしょうか？それとも最初の3頁ぐらいでしょうか？
もし後者なら最後まで読んだ上で質問なり、あなたの理解・意見・感想なりを述べてください