In 1963, Paul Cohen showed that the continuum hypothesis cannot be proven from the axioms of Zermelo–Fraenkel set theory (Cohen 1966).
Το 1963, ο Πωλ Κοέν έδειξε ότι η υπόθεση του συνεχούς δε μπορεί να αποδειχθεί από τα αξιώματα της θεωρίας συνόλων Ζερμέλο-Φράνκελ (Cohen 1966).