基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？

基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？at MATH

基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ - 暇つぶし2ch239:１３２人目の素数さん
24/05/23 14:24:17.75 C5I/LwRF.net
>>237
もうちょっと正確に書いたほうがいいな
ZFCが「非自明に正しい」なら、ZFC+一般連続体仮説も、ZFC＋「一般連続体仮説の否定」も「非自明に正しい」
（非自明に正しい＝無矛盾、と定義した場合）

次ページ

続きを表示

1を表示