[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
40(1): 2013/11/28(木)23:25:10.92 AAS
>>36
それはよかった、これからも元気に生きてください
128(2): 2014/03/08(土)17:49:04.92 AAS
>>117
＞ルカシーヴィッツの公理系も同等の性質を持つ公理系らしい
違うと思う
117の公理系では重複する前提を１つにまとめられないと思う
173: 2014/04/06(日)11:55:55.92 AAS
急にポエム化が進んだな
201: 2014/04/06(日)20:58:40.92 AAS
190はそもそも、fが消えるとか自然演繹とか、意味わかっとらんのやろ
297: 2014/05/01(木)21:07:07.92 AAS
どういうも何も、定義上
M |- not φ は M |- φの否定と同値だから
矛盾した理論を解釈するモデルがあったら
意味論のレベルで矛盾律（Aかつnot Aとはならない）が
破綻してしまう。だから
矛盾律 ⇒ 矛盾した理論にはモデルは無い i.e. モデルがあるなら無矛盾
としか言いようがない気がする。
353: 2014/05/21(水)15:13:19.92 AAS
こんな超基本的なことも自分で分からないまま、
「証明は奴隷の仕事。俺は哲学徒だから物事を俯瞰的に観るのだ」などとほざいてんだろうなあ
455: ￥ ◆2VB8wsVUoo 2017/05/16(火)09:40:49.92 ID:gCXIlyDM(7/30) AAS
￥
459(1): 2017/05/16(火)12:25:45.92 ID:GHzBK8D0(1) AAS
>>437
ありますよ。解答も付いてます。
この本は定義域が空集合の写像についても言及していて、連続する量化記号に一節使っていて、素朴集合論のみですが、説明も注意も細かくて、そこはさすが基礎論の専門家だと思った。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s