Континуум-гіпотеза Гіпотеза континууму, сформульована Георгом Кантором у 1878 році, стверджує, що не існує множини з потужністю строго між потужністю натуральних чисел та потужністю прямої. У 1963 році Пол Коен довів, що гіпотеза континууму не залежить від системи аксіом ZFC, що складається з теорії множин Цермело–Френкеля та аксіоми вибору. (ZFC є найбільш широко вивченою версією аксіоматичної теорії множин). Булеан