В 1893 году Фреге опубликовал первый том «Основных законов арифметики», первую часть работы всей своей жизни, в которой изложил строгое определение натуральных чисел на основе логики и теории множеств. Почти через десять лет, 16 июня 1902 года (за четыре года до рождения Гёделя), когда Фреге уже отправил в печать второй том «Основных законов...», он получил письмо от Бертрана Рассела, отправленное из Фрайдиз Хилл, Хаслмир (Великобритания). Письмо занимало одну страницу, однако этого было достаточно для того, чтобы развязать кризис оснований. Рассел начал с похвалы работы Фреге и выразил свою абсолютную поддержку автору. «Но я нашел небольшую сложность», — пишет Рассел.
Этой небольшой сложностью была одна из аксиом, на которых Фреге основывал теорию множеств, — так называемая аксиома выделения. В ней говорится, что каждому свойству назначается множество (множество объектов, которые обладают этим свойством). Например, свойству «быть четным числом» соответствует множество, образованное всеми четными числами; свойству «быть планетой Солнечной системы» соответствует множество всех планет Солнечной системы, и так далее. На первый взгляд эта аксиома кажется абсолютно невинным утверждением, неспособным породить какую-либо проблему. Однако Рассел задал свойство «быть множеством, которое не является членом самого себя».
Поразмышляем об этой идее.
Множества образованы членами (также существует пустое множество, не имеющее членов, но мы можем оставить его за рамками нашего анализа). Например, множество планет Солнечной системы состоит из (насколько мы знаем) восьми членов: Меркурия, Венеры, Земли, Марса, Юпитера, Сатурна, Урана и Нептуна. Объект «множество планет Солнечной системы» — это абстрактная сущность, существующая только как идея и собирающая под одним названием восемь планет. Каждый из членов этого множества — наоборот, конкретная планета, а не абстракция. Множество планет Солнечной системы не входит в список самих членов: оно не является членом самого себя. Рассел выражал эту идею следующим образом: «Множество, образованное лошадьми, — не лошадь» (мы можем сесть на лошадь, но не на абстрактную сущность). Но некоторые множества действительно являются членами самих себя. Например, подумаем о множестве всех абстрактных сущностей. Оно само является абстрактной сущностью и, следовательно, членом самого себя.
Теперь вернемся к аксиоме выделения. Возьмем множество, связанное со свойством «быть множеством, не являющимся членом самого себя». Пусть множество R образовано всеми множествами, не являющимися членами самого себя. Сформулируем следующий вопрос: является ли R элементом самого себя? Если R является членом самого себя, то выполняется свойство, определяющее R. По нему R не является членом самого себя. Это противоречие. Но если R не является членом самого себя, то не выполняется свойство, определяющее R. Следовательно, если не выполняется свойство, R все-таки является членом самого себя. Получается другое противоречие.
То есть R не может быть членом самого себя, но также не может и не быть им. Это логический парадокс. Множество R (существование которого обусловлено аксиомой выделения) не может существовать, потому что это порождает логическое противоречие. Итак, аксиома выделения, которая казалась такой невинной, на самом деле противоречит самой себе. Это открытие сегодня известно как парадокс Рассела.
Открытие противоречивости теории множеств развязало кризис оснований математики. Если такая невинная с виду аксиома выделения порождает противоречие, чего ждать от теории Кантора с актуальной бесконечностью и «бесконечностями, которые больше, чем другие бесконечности»? Положение осложнялось тем, что теория Кантора уже проникла в основные области математики, такие как анализ и топология.
БРАДОБРЕЙ РАССЕЛА
В 1904 году британский философ и математик Бертран Рассел (1872-1970) представил популярную версию своего парадокса. Он предложил представить себе, что в некой деревне есть только один брадобрей, бреющий всех мужчин, которые не бреются сами. Но бреет ли он сам себя? Ответ в том, что брадобрей не может бриться сам, но также не может и не делать этого.
