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

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

940(1): 07/22(火)16:20 ID:ewzqT0R4(1/4) AAS
確かCHは肯定も否定もZFCと矛盾しない、すなわち独立と証明されてるはず

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

943: 07/22(火)19:50 ID:ewzqT0R4(3/4) AAS
ああ、別の公理いれればか