@kururu_goedel: @math8128 えーと、ある公理系から証明も反証もできないことを独立と言いますが、ZFCから独立なのは連続体仮説だけではなく、他にも数多くの命題が独立となることがわかっています。例えばススリン仮説とか（参照:URL）2011-07-10 10:29:23 …