Континуум-гипотеза в математике заключается в утверждении, что всякое бесконечное подмножество континуума либо континуально, либо счётно. 14 То есть мощность континуума есть первая мощность, превосходящая мощность множества всех натуральных чисел. 1

Континуум-гипотеза была высказана Г. Кантором в конце 1870-х годов. 2 Многочисленные попытки её доказательства, предпринятые самим Кантором и другими математиками в конце XIX — начале XX веков, оказались безуспешными. 2

В 1936 году К. Гёдель доказал, что обобщённая континуум-гипотеза совместна с одной естественной системой аксиоматической теории множеств и, следовательно, не может быть опровергнута традиционными средствами. 2 В 1963 году П. Коэн доказал, что отрицание континуум-гипотезы совместно с этой системой, так что континуум-гипотезу невозможно ни доказать, ни опровергнуть с помощью обычных методов теории множеств. 2