連続多世界解釈は連続体仮説で証明も反証もできない未定義で矛盾しているということでいいのですか