>>595
あまり詳しくないけど、そうかもしれない。

もっといい公理で考えれば、
連続体仮説が偽であることが証明できるはずだと主張している人もいる。