>>179
今では様々な理由から
2^(アレフ0)＝2^(アレフ1)
のほうが自然な解釈だと考えられている。
これは特にマギドアが主張している。
特殊な条件を加えたWoodin基数を仮定すれば
Σ^0_4（？だったと思う）の文までで連続体仮説が偽になるという結果も知られている。