連続体仮説(CH)-1940年、ゲーデルはCHが成り立つZFCのモデルを構築することにより、CHがZFCで反証できないことを示した。
在ZF协调的假设下，他运用力迫法构造了一个ZFC的模型M，M不满足CH，因此ZFC不能证明CH。