Морис Клайн - Математика. Утрата определенности.

Система аксиом Цермело была усовершенствована несколько лет спустя (1922) Абрагамом А. Френкелем (1891-1965). Цермело не проводил различия между свойством, задающим множество, и самим множеством. Эти понятия для Цермело были синонимичны. Различие между свойствами множества и множеством было введено Френкелем в 1922 г. Система аксиом, в наше время наиболее часто используемая специалистами по теории множеств, известна как система Цермело — Френкеля. Оба автора опирались на самую изощренную и стройную математическую логику, какая только существовала в их время, но не указывали явно логические принципы. Цермело и Френкель считали их лежащими за пределами математики и применяли столь же уверенно, как в XIX в. математики пользовались логикой.

Назовем некоторые из аксиом Цермело — Френкеля, взяв на себя смелость привести их в словесной формулировке.

1. Два множества тождественны, если они состоят из одних и тех же элементов. (Интуитивно это определяет множество.)

2. Существует пустое множество.

3. Если x и y — множества, то неупорядоченная пара {x, y} также множество.

4. Объединение любого множества множеств есть множество.

5. Существуют бесконечные множества. (Пятая аксиома делает допустимыми трансфинитные кардинальные числа. Это имеет решающее значение, поскольку не подлежит проверке опытом.)

6. Любое свойство, формализуемое на языке теории, может быть использовано для определения множества.

7. Допускается образование множества подмножеств любого множества, т.е. набор всех подмножеств данного множества есть множество. (Процесс образования множества подмножеств можно повторять любое число раз, т.е. рассматривать множество всех подмножеств любого данного множества как некое новое множество; множество подмножеств этого множества также является множеством и т.д).

8. Аксиома выбора.

9. x не принадлежит x.

Нельзя не отметить одну замечательную особенность аксиом Цермело — Френкеля: они не допускают к рассмотрению множество, которое содержит все множества, и тем самым, возможно, позволяют избежать парадоксов. В то же время аксиомы Цермело — Френкеля вместе со следствиями из них адекватно отражают все понятия и теоремы теории множеств, необходимые для построения классического математического анализа. Построить теории натуральных чисел на основе теории множеств несложно. Кантор утверждал в 1885 г., что чистая математика сводится к теории множеств, и канторовская программа была осуществлена Расселом и Уайтхедом, хотя их подход к теории множеств отличался гораздо большей сложностью. А если воспользоваться методом координат, то из математики чисел (т.е. из арифметики) следует вся математика, включая геометрию. Тем самым теория множеств становится основанием всейматематики. {132}

Можно сказать, что надежда избежать противоречий в случае аксиоматизации теории множеств была основана на ограничении типов допустимых множеств, причем если налагаемые ограничения не слишком жестки, то система аксиом оказывается достаточной для обоснования математического анализа. Аксиомы теории множеств позволили до такой степени избежать парадоксов, что никому не удавалось получить их в рамках теории. Цермело заявил, что ни один парадокс не может возникнуть в аксиоматической теории множеств. Более поздние представители теоретико-множественного направления пребывали и продолжают пребывать в полной уверенности, что ни один парадокс не может быть выведен в теории, поскольку Цермело и Френкель тщательно построили иерархию множеств, исключив все неоднозначности, существовавшие в более ранних работах о множествах и их свойствах. К подобным заявлениям представителей теоретико-множественной школы никто из их идейных противников не относился всерьез. Пуанкаре не без сарказма заметил: «Мы возвели ограду вокруг стада, чтобы защитить его от волков, но нам не известно, нет ли волков внутри ограды».

Теоретико-множественное направление, как, впрочем, и все другие направления в основаниях математики, также не избежало критики. Многие считали недопустимым использование аксиомы выбора. Другие критики усматривали признак слабости теоретико-множественного направления в том, что его представители обходили молчанием вопрос о логических основах своей теории. Сама логика и ее отношение к математике явились предметом подробного обсуждения уже в первом десятилетии XX в. Представители же теоретико-множественного направления довольно небрежно обращались с логическими принципами. Их уверенность в непротиворечивости аксиоматической теории множеств считалась проявлением наивности (критики не без яда напоминали, что и Кантор был наивен до тех пор, пока не столкнулся с трудностями, гл. IX). Некоторые критики находили, что аксиомы теории множеств весьма произвольны и носят искусственный характер. Аксиомы Цермело — Френкеля предназначены для того, чтобы избежать парадоксов, но некоторые из этих аксиом неестественны или не основаны на интуитивных представлениях. Коль скоро представители теоретико-множественного направления принимают логические принципы как нечто очевидное, то почему бы не начать с арифметики, спрашивали критики.

Несмотря на все критические замечания, аксиоматика Цермело — Френкеля до сих пор используется некоторыми математиками как надежное основание для построения всей математики. Теория множеств Цермело — Френкеля — самая общая и фундаментальная теория, на которой и ныне строятся математический анализ и геометрия. Число приверженцев других направлений в основаниях математики возрастало по мере того, как их лидеры развивали и пропагандировали свои взгляды. Аналогичная история произошла и с теоретико-множественным подходом. Некоторые логицисты, например, Уиллард Ван Орман Куайн, выступили в поддержку теории множеств. В этой связи нельзя не упомянуть (нарушая хронологическую последовательность изложения) о группе известных и весьма уважаемых математиков, объединившихся под коллективным псевдонимом Никола Бурбаки. В 1936 г. эта группа поставила перед собой задачу доказать во всех деталях то, в чем были глубоко убеждены многие математики: если принять аксиоматику теории множеств Цермело — Френкеля (в переработке Бернайса и Гёделя) и некоторые принципы логики, то на них можно построить всю математику. Но для бурбакистов логика подчинена аксиомам собственно математики. Логика не определяет ни того, что такое математика, ни того, чем занимаются математики.

Свои взгляды на логику бурбакисты выразили в статье, опубликованной в Journal of Symbolic Logic (1949): «Иначе говоря, логика, если говорить о математиках, представляет собой не больше и не меньше, как грамматику языка, которым мы пользуемся, языка, который должен был существовать еще до того, как могла быть построена грамматика». Последующее развитие математики может потребовать новых модификаций логики. Так случилось с введением бесконечных множеств и, как мы увидим при обсуждении нестандартного анализа (гл. XIII), будет происходить в дальнейшем. Школа Бурбаки отвергла Фреге, Рассела, Брауэра и Гильберта. Ее представители используют аксиому выбора и закон исключенного третьего, хотя выводят его с помощью приема, предложенного Гильбертом. Группу Бурбаки не заботит проблема непротиворечивости. По поводу нее бурбакисты утверждают: «Мы просто отмечаем, что все эти трудности могут быть преодолены способом, позволяющим избежать всех возражений и не оставляющим сомнений в правильности рассуждений». Противоречия возникали в прошлом, и каждый раз их удавалось успешно разрешить. То же будет происходить и впредь. «Вот уже двадцать пять веков математики имеют обыкновение исправлять свои ошибки и видеть в этом обогащение, а не обеднение своей науки; это дает им право смотреть в будущее спокойно» ([2], с. 30). Бурбаки выпустил около тридцати томов «Элементов математики», построенных на основе теоретико-множественного подхода. {133}