[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
155: 2014/04/04(金)23:49:09.46 AAS
整列可能定理よりもZornの補題の方が遥かに「成り立ってそうな感じ」がする
177: 2014/04/06(日)12:12:04.46 AAS
>>174
完成された現代数学しか見てなきゃこんなもんだと思うよ。
270(1): 2014/04/25(金)21:05:27.46 AAS
V=L → GCH → ACなので、
ZFからACが導けないなら当然V=Lも導けないが
逆を言うのはかなり困難だと思う。
＞V=Lが独立なら、CHもACも独立なのじゃなかった？
これは何情報？
そもそもACを認めない時点で基数の一般論が
ちょっと工夫しないといけなくなるのでその時点で自明とは言い難い
296: 2014/05/01(木)08:07:27.46 AAS
間違えました。健全性でした。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s