>>547
>だいたい連続体仮説は証明できないことが証明できるってのは驚くべきことじゃないですか

ZF公理では証明出来ないってことに過ぎない
ZF公理以外の別の公理系では証明出来るかもしれない
実際ゲーデルはそう信じていた