Существуют бесконечности разных размеров, и одни бесконечности больше других.

Георг Кантор в 1870-1880-х годах развил теорию множеств и доказал парадоксальный факт: существуют бесконечности разных размеров. Он показал, что множество всех вещественных чисел (континуум) больше, чем множество натуральных чисел, хотя оба бесконечны. Кантор использовал метод диагонализации — элегантное доказательство от противного, которое продемонстрировало невозможность установить взаимно-однозначное соответствие между этими двумя множествами. Для обозначения этих разных уровней бесконечности математики применяют символ алефа (ℵ). Наименьшая бесконечность — алеф-нуль (ℵ₀) — описывает счётные множества вроде натуральных чисел. Следующий уровень, мощность континуума, часто обозначается как 2 в степени алеф-нуль. Открытие Кантора стало фундаментом современной теории множеств и позволило математикам строить иерархию всё больших бесконечностей, каждая из которых превосходит предыдущую. Одна из главных нерешённых проблем в математике — континуум-гипотеза, сформулированная самим Кантором. Она спрашивает: существуют ли бесконечности между алеф-нулём и континуумом? В 1963 году было доказано, что ответ на этот вопрос нельзя вывести из стандартных аксиом математики — он неразрешим в рамках привычной логической системы. Это показало глубокую загадочность природы бесконечности даже для современной науки. Практическое значение теории Кантора простирается далеко за пределы чистой математики.