Кардинальное число множества, по Кантору, — это характеристика, которая сохраняется после абстрагирования сущности его членов, а также их взаимоотношений.
Возьмем группу букв, составляющих слово «небо». Их кардинальное число, по определению Кантора, можно записать как ****. Эти символы обозначают членов группы, природа которой рассматривается как абстракция. Кардинальное число последовательности чисел 2,3, 5,7 тоже было бы ****.
У обеих групп одно и то же кардинальное число, поскольку у них одинаковое количество членов (четыре, разумеется). Действительно, **** могло бы стать пусть примитивным, но действенным способом обозначения числа 4. Кардинальное число множества натуральных чисел выглядело бы как *********** (символы продолжаются бесконечно). Таким же было бы и кардинальное число множества квадратных чисел. Следуя рассуждениям Кантора, если два множества эквивалентны, у них одинаковая мощность.
Как теория Кантора решает парадокс Галилея, рассмотренный в главе 1? С одной стороны, очевидно, что натуральных чисел больше, чем квадратных, поскольку натуральные включают в себя квадратные. С другой стороны, взаимно однозначное соответствие двух множеств предполагает, что в них одинаковое количество членов.
Ответ Кантора основывается на том, что первое утверждение Галилея ложное. То, что множество квадратных чисел является частью множества натуральных чисел, верно, но из этого нельзя сделать вывод, что их больше, чем квадратных.
Когда речь идет о бесконечных множествах, совокупность необязательно больше части; другими словами, для актуально бесконечных групп не всегда действуют те же правила, что и для законченных. Квадратные числа входят в группу натуральных, но мощность и тех и других одинакова, так что никакого парадокса нет.
Интуиция говорит нам, что натуральных чисел должно быть вдвое больше по сравнению с парами, в то время как взаимнооднозначное соответствие подсказывает: в этих группах одно и то же количество членов.
Брайан Банч, «Математические хитрости и парадоксы», 1982 год
Основываясь на этих рассуждениях, несколько лет спустя немецкий математик Рихард Дедекинд (1831-1916) предложил альтернативное определение актуальной бесконечности. Вместо того чтобы исходить из отрицания — множество бесконечно, когда оно не конечно, — он решил действовать от обратного. По Дедекинду, актуально бесконечное множество равномощно любому своему подмножеству (этим свойством обладают все актуально бесконечные группы и только они). Мысль Дедекинда была встречена благосклонно, и его определение до сих пор используется в области математической бесконечности.