[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
46(2): 2013/11/30(土)06:55:35.64 AAS
ほんとに素人目だな
ここに無料テキストが山ほどあるから勉強しなすこと
外部ﾘﾝｸ[pl]:projecteuclid.org
69(1): 2014/01/05(日)06:57:37.64 AAS
|A|=|B|=0 のとき、A=B だから、A⊆B、B⊆A はどちらも真
112: 2014/03/01(土)01:39:26.64 AAS
>>110
"順に"っていうならゲーデル数で考えたくなりますけど,ゲーデル数は理屈上の概念であって
実用上あんな巨大な数はまず計算が間に合わないでしょうから っていうのが私の印象
312: 2014/05/06(火)08:17:04.64 AAS
>>248
>ZF の任意の可算モデルを M とします。...
>従って、M 内で AC は真。したがって、完全性定理より、ZF から AC は証明可能。
ここは単に、Mが「任意のモデル」でないので完全性定理を適用できないだけではないの？
382: 2014/09/11(木)21:35:24.64 AAS
>>379
へーッ。昔の関数概念の方が自然で好きだな。
572: ￥ ◆2VB8wsVUoo 2017/06/14(水)05:18:02.64 ID:6+DmjjrM(6/10) AAS
￥
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.064s*