Иногда же слово «парадокс» используется как синоним «удивительного» или «противоречащего ожиданиям», а никак не «логического противоречия». Например, X0 + 1 = X0 «парадоксально», поскольку мы воспринимаем только конечные количества и думаем, что при добавлении нового элемента к определенному множеству в результате их количество увеличится. С другой стороны, X0 + 1 = X0 свидетельствует о том, что в случае с бесконечностью количество останется прежним.
Хоть это и удивительно, но равенство X0 + 1 = X0 не является парадоксом в смысле логики, поскольку оно не таит в себе никакого логического противоречия. Оно просто подчеркивает, что правила, по которым существуют бесконечные количества, отличаются от конечных.
Мы будем использовать термин «парадокс» в первом значении, имея в виду логическое несоответствие какой-либо теории. Вернемся же к парадоксу, который Кантор обнаружил в 1883 году. Он заключался в том, что последовательность ординальных чисел порождается в соответствии с двумя принципами. Первый гласит, что за каждым ординалом идет непосредственно следующий; по этому принципу сразу за ω идет ординал ω + 1.
У бесконечных множеств есть некоторые любопытные свойства, которые иногда назывались парадоксальными. На самом деле они не парадоксальны, а просто немного удивительны, когда сталкиваешься с ними впервые.
Рэймонд Смаллиан, американский логик, «Сатана, Кантор и бесконечность, в также другие головоломки», 1992 год
Второй принцип утверждает, что если дана произвольная бесконечная последовательность ординальных чисел, непосредственно за ней всегда будет идти еще один ординал, который не является членом этой последовательности. Данный принцип гарантирует, что, например, за бесконечной последовательностью 0, 1,2, 3, 4,... идет новый ординал ω, а за бесконечной последовательностью ω, ω + 1, ω + 2, ω + 3,... — новый ординал ω + ω. Парадокс появляется, когда мы пытаемся применить второй принцип порождения к последовательности, образованной всеми ординалами, назовем ее С. Действительно, согласно второму принципу, если мы возьмем последовательность всех ординалов С, то сразу же за ней будет идти новый ординал, который не является частью С. Обозначим его как О (греческая буква омикрон). Поскольку С содержит все ординалы, то в нем будет и О. Но ведь его там нет. Получается, что О обладает двумя противоречащими друг другу характеристиками: он не является частью С, но одновременно является. Мы обнаружили парадокс (см. рисунок).
Чтобы решить эту проблему, Кантор ввел третий принцип порождения — третье правило, по которому второй принцип не может применяться к полной последовательности всех ординальных чисел. Другими словами, Кантор заявил, что О не существует.
Схематичное изображение парадокса ординальных чисел.
Хотя это правило действительно решает парадокс, оно не кажется удовлетворительным. Мы как бы даем пациенту обезболивающее, но не находим причину его болезни. Для того чтобы обнаружить эффективное решение, нужно узнать, какой недуг вызвал боль, то есть какая ошибка лежит в основе теории, приведшей к парадоксу.
По мнению Кантора, его глубинной причиной была необходимость сделать различие, которое он ввел в статье 1883 года, между трансфинитным и абсолютно бесконечным. Ученый писал, что к области трансфинитного относятся все бесконечные множества, которые может познать человеческий разум и которыми он может оперировать, как, например, множество вещественных чисел или ординальных чисел первого, второго или третьего классов или еще какой-либо определенный класс. В области абсолютного мы сталкиваемся с множествами, которые «слишком велики» для нашего ума; среди них находится множество, образованное всеми ординальными числами, и универсальное множество (которое включает в себя абсолютно все и о котором речь шла в предыдущей главе). По этому поводу в статье 1883 года Кантор писал так:
«Однако существенное различие состоит в том, что я раз и навсегда закрепляю в соответствии с понятием различные градации собственно бесконечного [так Кантор называет актуальную бесконечность] при помощи числовых классов (I), (II), (III) и так далее и лишь тогда ставлю задачу не только математически исследовать отношения сверхконечных чисел, но указать и проследить их всюду, где они встречаются в природе. Что на этом пути нам, продвигаясь все дальше, не удается достичь никакой непереходимой границы, получить хотя бы только приближенное постижение абсолютного, — это не подлежит для меня никакому сомнению. Абсолютное можно лишь признать [то есть признать его существование], но никогда не познать, хотя бы приближенно».