Существуют числа, которые больше бесконечности — трансцендентные кардиналы.

В теории множеств, развиваемой с конца XIX века, математики столкнулись с парадоксальным фактом: существует иерархия бесконечностей разных размеров. Кардинальные числа — это инструмент для их сравнения. Натуральные числа (1, 2, 3...) образуют счётное бесконечное множество. Однако действительные числа (включая все дроби и иррациональные числа) — континуум — образуют несчётное множество, принципиально большее по мощности. Это доказал Георг Кантор в 1870-х годах через диагональный метод, показав, что между натуральными и действительными числами нет взаимно однозначного соответствия. Но история не заканчивается континуумом. Над ним возвышаются трансцендентные кардиналы — бесконечности, которые больше континуума. Они выходят за границы обычного математического аппарата и требуют расширенных аксиоматических систем. Например, мощность множества всех подмножеств действительных чисел превышает континуум. Такие иерархические уровни бесконечности продолжаются бесконечно — выше каждого кардинала существует ещё больший. Это открытие имело глубокие философские следствия. Оно показало, что представление о бесконечности как о чём-то едином и неделимом ошибочно. В приложениях теория кардиналов используется в логике, теории вычислимости, информатике при анализе алгоритмической сложности и невычислимых функций. Парадокс в том, что мы можем строго работать с этими超конечными объектами, хотя они недостижимы для человеческой интуиции и не имеют физических аналогов в реальном мире.