分からない問題はここに書いてね 472

分からない問題はここに書いてね 472 (974ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

940(1): １３２人目の素数さん [sage] 07/22(火)16:20 ID:ewzqT0R4(1/4)
確かCHは肯定も否定もZFCと矛盾しない、すなわち独立と証明されてるはず

942: １３２人目の素数さん [sage] 07/22(火)19:40 ID:ewzqT0R4(2/4)
一方で独立であるという証明もあるのでその情報が正しいならZFCは内部矛盾してることが証明されたことになるな。

943: １３２人目の素数さん [sage] 07/22(火)19:50 ID:ewzqT0R4(3/4)
ああ、別の公理いれればか

944(1): １３２人目の素数さん [sage] 07/22(火)19:59 ID:ewzqT0R4(4/4)
そもそも二つの濃度が等しい稠密集合にわけたいだけなら

A = ℚ ∪ (0,∞)＼(√2+ℚ)
B = √2+ℚ ∪ (-∞,0)＼ℚ

でいいやん。基数関係ないやん