[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
239(3): 2024/05/23(木)14:24 ID:C5I/LwRF(8/9) AAS
>>237
もうちょっと正確に書いたほうがいいな
ZFCが「非自明に正しい」なら、ZFC+一般連続体仮説も、ZFC＋「一般連続体仮説の否定」も「非自明に正しい」
（非自明に正しい＝無矛盾、と定義した場合）
243: 2024/05/23(木)14:42 ID:57Sqch+C(160/218) AAS
>>239
>>>237
>もうちょっと正確に書いたほうがいいな
>ZFCが「非自明に正しい」なら、ZFC+一般連続体仮説も、ZFC＋「一般連続体仮説の否定」も「非自明に正しい」
>（非自明に正しい＝無矛盾、と定義した場合）
0点
ZFCは非自明に正しくない=無矛盾性を証明できない
省2
266: 2024/05/23(木)16:59 ID:57Sqch+C(172/218) AAS
>>264
いやそれすら出来ないからこんな恥ずかしいこと書くんだろ>>237
243 １３２人目の素数さん[sage] 2024/05/23(木) 14:42:40.35 ID:57Sqch+C
>>239
>>>237
>もうちょっと正確に書いたほうがいいな
>ZFCが「非自明に正しい」なら、ZFC+一般連続体仮説も、ZFC＋「一般連続体仮説の否定」も「非自明に正しい」
省5
344: 2024/05/24(金)04:52 ID:s5QT/GS3(3/8) AAS
>>239
>>>237
>もうちょっと正確に書いたほうがいいな
>ZFCが「非自明に正しい」なら、ZFC+一般連続体仮説も、ZFC＋「一般連続体仮説の否定」も「非自明に正しい」
>（非自明に正しい＝無矛盾、と定義した場合）
0点
ZFCは非自明に正しくない=無矛盾性を証明できない
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s