[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

322(2): 2020/02/23(日)17:33 ID:f+nUR9kX(1/3) AAS
>>321
君に問題を出そう

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

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

---

323: 2020/02/23(日)20:38 ID:f+nUR9kX(2/3) AAS
>>322の問題の回答は明日までまってやろう

---

325: 2020/02/23(日)22:26 ID:f+nUR9kX(3/3) AAS
>>322には答えられんかね？

それならそうと口に出してくれ

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 0.031s