[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新

---

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

---

88: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/19(火)16:35 ID:BeCYz6gT(2/4) AAS
>>87
以前、別スレでも紹介したが
下記が、参考になるだろう

www.cs-study.com/koga/set/alternativeSetTheories.html
代替的な集合論 (Alternative Set Theory)
26th Sep. 2019 (Updated)
6th May 2018 (First)
Akihiko Koga

動機
現在の標準的な集合論は ZFC (Zermelo-Fraenkel + Axiom of Choice) だと思うが， その他にもいろいろな提案がある．すでに，集合，位相，論理など でも，集合だけでなくクラスやクラスの集まりを扱うものも紹介した（von Neumann-Bernays-Gödel の集合論， Morse-Kelley の集合論）．これらは普遍代数や圏論など， 扱う対象が通常の集合を超えるとき必要であり，また，そのための ZFC の素直な拡張である．

www.ivis.co.jp/text/20190619.pdf
代替集合論＊（Alternative Set Theories）の調査
わかみず会用資料
2019年 6月 19日（水）古賀明彦
＊Alternative Set Theories の定着した訳語が分からなかったので，本資料ではとりあえず「代替集合論」とした

Cantor's Set Theory, ZFC, Alternative Set Theories

---

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

---

あと 914 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.009s