>>31
それを解決と言うのかは置いといて、ZFC+連続体仮説(またはその否定)はどちらも無矛盾。

ただし上の文での または は排他的な意味。