> it was proved by Cantor and Cohen Goedel and Cohen. Goedel proved it might be (constructible universe); Cohen proved it might not be (forcing). I think Cohen

> it was proved by Cantor and Cohen Goedel and Cohen. Goedel proved it might be (constructible universe); Cohen proved it might not be (forcing). I think Cohen's on record as saying he suspects that with the "right" axioms, mathematicians might come to think that CH is obviously false.