[過去ログ] なぜ、ZFC公理まで遡らなくても数学が出来るの? (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
608
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/16(月)15:41 ID:24IgbVxn(8/20) AAS
 >>593より再録
www.math.nagoya-u.ac.jp/~shinichiroh/2023/07/31/tips-of-set-theory.html
松尾 信一郎
名古屋大学 大学院多元数理科学研究科 准教授

集合論の覚書
基礎と基礎付け
「ZFCと一階述語論理が数学の基礎だ」という言い方がしばしばなされるが,「ZFCと一階述語論理で数学は基礎付けられる」と言った方が誤解も反発も招かないだろう.
省9
609
(2): 2024/12/16(月)15:58 ID:HUxH1Xc4(1) AAS
>>608
そもそも1のような問いを発するのもこれを真に受けるのも
数学を全く知らぬ数学童貞
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.029s