Inter-universal geometry と ABC予想 42at MATH

---

705:１３２人目の素数さん
19/12/05 07:00:30 vEgJBXXW.net
>>672
ラッセルのパラドクスを避けるだけなら
内包公理を分出公理に弱めれば十分
（ZFではより強力な置換公理を使ってるが内包公理よりは弱いから
　ラッセルのパラドクスは導けない）

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch