[過去ﾛｸﾞ] 集合論について (615ﾚｽ)

集合論について http://rio2016.5ch.net/test/read.cgi/math/1384715117/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

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

---

40: １３２人目の素数さん [] 2013/11/28(木) 23:25:10.92 >>36 それはよかった、これからも元気に生きてください http://rio2016.5ch.net/test/read.cgi/math/1384715117/40

128: １３２人目の素数さん [] 2014/03/08(土) 17:49:04.92 >>117 ＞ルカシーヴィッツの公理系も同等の性質を持つ公理系らしい 違うと思う 117の公理系では重複する前提を１つにまとめられないと思う http://rio2016.5ch.net/test/read.cgi/math/1384715117/128

173: １３２人目の素数さん [] 2014/04/06(日) 11:55:55.92 急にポエム化が進んだな http://rio2016.5ch.net/test/read.cgi/math/1384715117/173

201: １３２人目の素数さん [sage] 2014/04/06(日) 20:58:40.92 190はそもそも、fが消えるとか自然演繹とか、意味わかっとらんのやろ http://rio2016.5ch.net/test/read.cgi/math/1384715117/201

297: １３２人目の素数さん [sage] 2014/05/01(木) 21:07:07.92 どういうも何も、定義上 M |- not φ は M |- φの否定と同値だから 矛盾した理論を解釈するモデルがあったら 意味論のレベルで矛盾律（Aかつnot Aとはならない）が 破綻してしまう。だから 矛盾律 ⇒ 矛盾した理論にはモデルは無い i.e. モデルがあるなら無矛盾 としか言いようがない気がする。 http://rio2016.5ch.net/test/read.cgi/math/1384715117/297

353: １３２人目の素数さん [sage] 2014/05/21(水) 15:13:19.92 こんな超基本的なことも自分で分からないまま、 「証明は奴隷の仕事。俺は哲学徒だから物事を俯瞰的に観るのだ」などとほざいてんだろうなあ http://rio2016.5ch.net/test/read.cgi/math/1384715117/353

455: ￥ ◆2VB8wsVUoo [sage] 2017/05/16(火) 09:40:49.92 ID:gCXIlyDM ￥ http://rio2016.5ch.net/test/read.cgi/math/1384715117/455

459: １３２人目の素数さん [] 2017/05/16(火) 12:25:45.92 ID:GHzBK8D0 >>437 ありますよ。解答も付いてます。 この本は定義域が空集合の写像についても言及していて、連続する量化記号に一節使っていて、素朴集合論のみですが、説明も注意も細かくて、そこはさすが基礎論の専門家だと思った。 http://rio2016.5ch.net/test/read.cgi/math/1384715117/459

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 1.178s*