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

---

237:１３２人目の素数さん
24/05/23 14:17:34.61 C5I/LwRF.net
>>225
> 非自明な正しさ:体系の公理が矛盾を導かない(無矛盾性)
>>231
>>上記の定義では、Aも￢Aも「非自明に正しい」（つまり矛盾を導かない）ということがあるって分かる？
>>233
> そういうゲーデル完全な系は考える意味がない
ゲーデル完全？なにその新奇語
君にとって、ZFCは考える意味ないのね
一般連続体仮説もその否定も「非自明に正しい」（つまり矛盾を導かない）から

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch