現代数学の系譜　カントル　超限集合論2at MATH

---

345:１３２人目の素数さん
20/02/23 17:33:26 f+nUR9kX.net
>>321
君に問題を出そう

不完全性定理が成り立つ理論Tでは
Tの無矛盾性Con(T)はTでは証明できない
つまり、Tに￢Con(T)を公理として追加した
理論T＋￢Con(T)も無矛盾だ

さてT+￢Con(T)でCon(T+￢Con(T))の真偽は決定可能か？

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch