Разумеется, возникает вопрос и о природе математических объектов. В каком смысле существует, скажем, множество всех положительных целых чисел, или, гораздо каверзнее, множество всех множеств положительных целых чисел? Кантор занимал здесь радикальную позицию, называемую в сегодняшней философии математики математическим платонизмом[45]. Великий немецкий мыслитель считал, что те же трансфинитные числа не менее реальны, чем звёзды на небе. Предполагается, что имеется некий надсубъективный мир математических объектов, в котором и существуют всевозможные множества. Математические утверждения выражают факты устройства, обстояния вещей в этом мире. Соответственно, любое корректно сформулированное утверждение о математических объектах (скажем, «существует нечётное совершенное число») либо верно, либо нет в том же вечном, от наших соглашений и знаний независимом смысле. Таким образом, приобретают универсальный статус и законы аристотелевской логики, в особенности закон исключённого третьего, формулировкой которого и являлось предыдущее предложение. По известному афоризму, математик не изобретает, но открывает свои теоремы, примерно, как географ-мореплаватель открывает неизвестные острова в океане[46].
Кантор провозглашал нашу способность свободно оперировать с бесконечностью, ничем не ограниченную постигающую и созидающую мощь нашего духа. «Сущность математики — в её свободе», — таков был прекрасный, поэтический лозунг великого математического романтика.
Но у свободы есть, как мы хорошо знаем, цена, и романтика иногда далеко заводит. Надо сказать, что Кантор заплатил страшную цену за прорыв в Бесконечное. Душевное заболевание прогрессировало, всё больше мешало ему работать. Великий мыслитель умер в нервной клинике…
Уже самому Кантору были известны парадоксы теории множеств, попросту говоря, противоречия в ней, возникавшие на её окраинах и связанные именно с неограниченной свободой в образовании самых общих понятий. Положение это, по существу, было нетерпимым — ведь по тем же законам классической, аристотелевской логики, имея противоречие, можно доказать всё, что угодно. Вот пример парадокса, известного Кантору, и показывающего опасность чрезвычайно общих понятий. Кантором была доказана красивая теорема о том, что по всякому множеству можно найти множество большей мощности, содержащее «большее» число элементов[47]. Применение этого результата к множеству всех множеств приводит к немедленному, очевидному противоречию, напоминающему, кстати, парадоксальные ситуации в физике, когда речь идёт о «всей» Вселенной. Наиболее знаменитый из парадоксов был открыт в начале XX века английским философом и математиком Бертраном Расселом (Russel, Bertrand 1872–1970). Интересно, что и в случае парадокса Рассела источником беды являлась именно неограниченная свобода в образовании множеств, чрезвычайная общность этого понятия. Сам же парадокс, в сущности, воспроизводил в рамках теории множеств ситуации, известные с глубокой античности
