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

---

206:１３２人目の素数さん
24/05/23 09:36:22.93 67yCU2qb.net
で、不完全性をざっくり説明すると以下の通り
「無矛盾な論理式A（つまり￢Aが証明可能でない論理式）の全体はΠ1だけどΣ1じゃないよ」

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch