分からない問題はここに書いてね 472 (974ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
940(1): 07/22(火)16:20 ID:ewzqT0R4(1/4) AAS
確かCHは肯定も否定もZFCと矛盾しない、すなわち独立と証明されてるはず
941: 07/22(火)17:52 ID:XdxqJpaH(4/4) AAS
>>940
数理論理やってる人の間ではほぼほぼアレフ2で確定
というか証明もあるらしいですよ
ZFCだけというのは今は流行らず
フォーシングなどを駆使する立場から
妥当な公理として巨大基数公理などを仮定するようです
ですが
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s