[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
87(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/19(火)16:28 ID:BeCYz6gT(1/4) AAS
>>84
(引用開始)
> ZFCは、多くの基礎論以外の数学者がやっている数学研究には役立たない
> その大きな原因の一つが、ZFCの一階述語論理限定だろう
原因は見当違い 素人はわけもわからず平気で口から出まかせをいう ひろゆきかｗ
単純に置換公理が強すぎるだけのこと
(引用終り)
おサルさんさー
君が、数学科でオチコボレたのは、1980年代だろ？
君の その知識は、もう古いよ ；ｐ）
省13
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 の素直な拡張である．
省6
89(1): 2024/11/19(火)16:48 ID:6TVSrNDk(3/3) AAS
>>87
＞２階算術とかいっぱいあるでしょ
２階算術に置換公理はないよ 知らないの？ ド素人だねえｗ
90(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/19(火)17:51 ID:BeCYz6gT(3/4) AAS
>>89
>＞２階算術とかいっぱいあるでしょ
> ２階算術に置換公理はないよ 知らないの？ ド素人だねえｗ
ど素人が
必死論点ずらし
笑えるぞｗ ；ｐ）
ZFC 1階述語論理とか
基礎論プロにしたら
オワコンもいいところｗｗ
田中 一之先生 >>87 の通り
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s