>>29
用語を知ってるのならググる方がいい

ZFCでは、連続体仮説は証明も反証もできない。