クルト・ゲーデル
一方で、カントールが頭を悩ませつづけた連続体仮説：「実数集合は自然数集合の次に大きい集合であるか？」は、クルト・ゲーデルとポール・コーエンの業績によってZFC公理系からは証明も反証もできないことがわかった。