(If Zermelo–Fraenkel set theory (ZFC) is consistent, then neither the continuum hypothesis nor its negation can be proven from ZFC.)
(Якщо теорія Цермело-Френкеля (ZFC) несуперечлива, то ні континуум-гіпотези, ні його заперечення не може бути доведено з ZFC .)