Зокрема, М. М. Лузін писав, що «потужність континууму, якщо тільки мислити його як множина точок є якась єдина реальність», місце якої в ряду кардинальних чисел не може залежати від того, чи визнається як аксіома континуум-гіпотеза, чи її заперечення. Наразі найпоширенішою аксіоматичною теорією множин є ZFC — теорія Цермело-Френкеля з аксіомою вибору. Питання про несуперечність цієї теорії (а тим більше — про існування моделі для неї) залишається нерозв'язаним. Базові концепції і позначення Позначення