The difficulty Cantor had in proving the continuum hypothesis has been underscored by later developments in the field of mathematics: a 1940 result by Kurt Gödel and a 1963 one by Paul Cohen together imply that the continuum hypothesis can be neither proved nor disproved using standard Zermelo–Fraenkel set theory plus the axiom of choice (the combination referred to as "ZFC").Some mathematicians consider these results to have settled the issue, and, at most, allow that it is possible to examine the formal consequences of CH or of its negation, or of axioms that imply one of those. Others continue to look for "natural" or "plausible" axioms that, when added to ZFC, will permit either a proof or refutation of CH, or even for direct evidence for or against CH itself; among the most prominent of these is W. Hugh Woodin. One of Gödel's last papers argues that the CH is false, and the continuum has cardinality Aleph-2.
The difficulty Cantor had in proving the continuum hypothesis has been underscored by later developments in the field of mathematics: a 1940 result by Kurt Gödel and a 1963 one by Paul Cohen together imply that the continuum hypothesis can be neither proved nor disprove,d using standard Zermelo–Fraenkel set theory plus the axiom of choice (the combination referred to as "ZFC").Some mathematicians consider these results to have settled the issue, and, at most, allow that it is possible to examine the formal consequences of CH or of its negation, or of axioms that imply one of those. Others continue to look for "natural" or "plausible" axioms that when added to ZFC, will permit either a proof or refutation of CH, or even for direct evidence for or against CH itself; among the most prominent of these is W. Hugh Woodin. One of Gödel's last papers argues that the CH is false, and the continuum has cardinality Aleph-2.