Википедия
Конти́нуум-гипо́теза (проблема континуума, первая проблема Гильберта) — выдвинутое в 1877 году Георгом Кантором предположение о том, что любое бесконечное подмножество континуума является либо счётным , либо континуальным . Другими словами, гипотеза предполагает, что мощность континуума — наименьшая, превосходящая мощность счётного множества, и «промежуточных» мощностей между счетным множеством и континуумом нет, в частности, это предположение означает, что для любого бесконечного множества действительных чисел всегда можно установить взаимно-однозначное соответствие либо между элементами этого множества и множеством целых чисел , либо между элементами этого множества и множеством всех действительных чисел.
Первые попытки доказательства этого утверждения средствами наивной теории множеств не увенчались успехом, в дальнейшем показана невозможность доказать или опровергнуть гипотезу в аксиоматике Цермело — Френкеля (как с аксиомой выбора , так и без неё).