分からない問題はここに書いてね 472 (987ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
940(1): １３２人目の素数さん [sage] 2025/07/22(火) 16:20:04.62 ID:ewzqT0R4(1/4) AAS
確かCHは肯定も否定もZFCと矛盾しない、すなわち独立と証明されてるはず
942: １３２人目の素数さん [sage] 2025/07/22(火) 19:40:48.33 ID:ewzqT0R4(2/4) AAS
一方で独立であるという証明もあるのでその情報が正しいならZFCは内部矛盾してることが証明されたことになるな。
943: １３２人目の素数さん [sage] 2025/07/22(火) 19:50:04.68 ID:ewzqT0R4(3/4) AAS
ああ、別の公理いれればか
944(1): １３２人目の素数さん [sage] 2025/07/22(火) 19:59:38.67 ID:ewzqT0R4(4/4) AAS
そもそも二つの濃度が等しい稠密集合にわけたいだけなら
A = ℚ ∪ (0,∞)＼(√2+ℚ)
B = √2+ℚ ∪ (-∞,0)＼ℚ
でいいやん。基数関係ないやん
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s