[過去ﾛｸﾞ] 大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新

---

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

---

550: 2017/10/08(日)12:21 ID:jERVOI3Y(3/6) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
550: [sage] 2017/10/08(日) 12:21:28.76 ID:jERVOI3Y 不完全性定理は非常に弱いメタ公理系の下で証明できるので、これは疑っても仕様がない しかし、選択公理が証明できないことの証明ではメタ公理系として集合論を採用したので、実は別の選択肢もあった気がしてならない http://rio2016.5ch.net/test/read.cgi/math/1500294768/550
不完全性定理は非常に弱いメタ公理系の下で証明できるのでこれは疑っても仕様がない しかし選択公理が証明できないことの証明ではメタ公理系として集合論を採用したので実は別の選択肢もあった気がしてならない

---

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

---

あと 452 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.014s