[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

709(1): 2025/10/24(金)06:18 ID:xaHeIhlK(3/3) AAS
>>703
＞「ラッセルのパラドックス」は
＞”なんでも無制限に集合”と 素朴に考える
＞『無制限の内包公理』が良くないってことだね

なぜそうなるかといえば
そもそも集合の全体が集合だとすると矛盾するから

＞よって、その対策たる『公理的集合論』においては
＞厳しく集合の範囲を制限したのです
＞基本的には、『公理的集合論』においては、
＞”必要最小限の集合に制限する”
省27

---

711(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/24(金)06:49 ID:ycj0v0JM(1/4) AAS
>>705-710

1）21世紀 2025年のいま 公理的集合論は一つではなく 複数ある。我々は それを外から眺めて その場その場で適切な公理系を選べば良い(強制法にはZFCがなじむ)
外部ﾘﾝｸ:ja.wikipedia.org
公理的集合論
・ツェルメロ＝フレンケル集合論（ZF公理系）
・タルスキの公理 「en:Tarski–Grothendieck set theory」を参照
・フォン・ノイマン＝ベルナイス＝ゲーデル集合論
・モース-ケリー集合論
・新基礎集合論

2）一句”不勉強 オチコボレのさばる 便所板”（字余り）
省29

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.033s