Continuum Hypothesis

Proven to be impossible to prove or disprove within the Zermelo-Frankel set theory with or without the Axiom of Choice. There is no consensus on whether this is a solution to the problem.
[Hilbert's First Problem]