[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
530(1): 2024/05/25(土)17:20:23.07 ID:43OvMs57(57/67) AAS
ラッセルのパラドックスは”無制限の内包公理”を前提した場合のことなので
この公理を捨て去ればパラドックスは回避される
ただ公理を捨てただけだと理論が弱くなるので代わりの公理を入れたい
どんな公理を入れれば無矛盾だと保証できるか？というのが数学基礎論の誕生の経緯
でも「一般的に絶対的な無矛盾性の証明は無理」とわかっちゃったので数学基礎論は廃れた
別に無矛盾性を示さなければ数学してはいけない、なんて誰もいってないから
今もそんなことはまったく気にせず数学しているし 別に問題ない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s