{x, у, z}, где x ≠ y ≠ z. Поскольку определение числа предполагает понятие взаимно-однозначного соответствия (обратите внимание на выражение «однозначное»!), может показаться, что здесь мы попадаем в порочный круг. Но отношение между элементами является взаимно-однозначным, если из того, что x и x' находятся в рассматриваемом отношении к y, следует, что, x и x' совпадают, а из того, что x находится в этом отношении и к у, и к у', вытекает, что совпадают y и у'. Следовательно, несмотря на употребленное в названии этого понятия выражение, реально взаимно-однозначное соответствие не определяется без апелляции к числу 1.
Имея натуральные числа, можно построить системы вещественных и комплексных чисел, теорию функций и весь математический анализ. Используя координаты и уравнения кривых, можно через арифметику ввести геометрию. Но для этого Расселу и Уайтхеду понадобились две дополнительные аксиомы. Программа состояла в том, чтобы сначала определить (с помощью пропозициональных функций) натуральные числа, а затем последовательно ввести более сложные рациональные и иррациональные числа. Чтобы включить в эту схему трансфинитные числа, Рассел и Уайтхед ввели аксиому существования бесконечных классов (классов, надлежащим образом определенных с точки зрения логики) и аксиому выбора (гл. IX), необходимую для теории типов.
Такова была грандиозная программа логистической школы. Долго рассказывать о том, что значила эта программа для самой логики, — мы ограничимся здесь лишь беглым перечислением основных пунктов программы. Для математики же (и это необходимо подчеркнуть особо) логистическая программа сводилась к тезису о построении (или возможности построения) всей математической науки на фундаменте логики. Математика становилась не более чем естественным продолжением логических законов и предмета логики.
Логистический подход к математике подвергся резкой критике. Сильные возражения вызвала аксиома сводимости, которая многим математикам казалась совершенно произвольной. Некоторые считали ее счастливой случайностью, а не логической необходимостью. Френк Пламптон Рамсей, сочувственно относившийся к логицизму, так охарактеризовал аксиому сводимости: «Такой аксиоме не место в математике, и все, что не может быть доказано без нее, вообще не должно считаться доказанным». Другие ученые называли аксиому сводимости «жертвоприношением, в котором роль жертвы отведена разуму». Безоговорочно отвергал аксиому сводимости Герман Вейль. Иные критики утверждали, что она снова вводит в обращение непредикативные определения. Наиболее важными были вопросы о том, является ли аксиома сводимости аксиомой логики и, следовательно, подкрепляет ли она тезис о том, что математика выводима из логики.
Пуанкаре заявил в 1909 г., что аксиома сводимости более спорна и менее ясна, чем доказываемый с ее помощью принцип математической индукции. Аксиома сводимости, по его словам, представляет собой замаскированную форму математической индукции. Итак, с одной стороны, математическая индукция — это составная часть математики, а с другой стороны, она оказывается необходимой для обоснования математики. Следовательно, мы не можем доказать непротиворечивость математики.
В первом издании «Оснований математики» (1910) Рассел и Уайтхед обосновывали аксиому сводимости ссылкой на то, что она необходима для доказательства некоторых результатов. Аксиома их явно беспокоила. В защиту ее они приводили следующие доводы:
Что же касается аксиомы сводимости, то она убедительно подкрепляется интуитивными соображениями, так как и допускаемые ею рассуждения, и результаты, к которым она приводит, во всяком случае выглядят правильными. Но хотя маловероятно, чтобы эта аксиома оказалась ложной, она вполне может оказаться выводимой из некоторых других, более фундаментальных и более очевидных аксиом.
В последующие годы применение аксиомы сводимости вызывало у Рассела все большую озабоченность. Во «Введении в математическую философию» (1919) Рассел был вынужден признать:
С чисто логической точки зрения я не вижу оснований считать аксиому сводимости необходимой, т.е. тем, о чем принято говорить, что оно истинно во всех возможных мирах. Следовательно, включение этой аксиомы в систему логики является дефектом, даже если аксиома эмпирически правильна.
Во втором издании «Оснований математики» (1926) Рассел сформулировал аксиому сводимости иначе. Но и в новой формулировке она порождала немало трудностей: запрет на бесконечности высоких порядков, вынужденный отказ от теоремы о наименьшей верхней границе, трудности при использовании математической индукции. Во втором издании «Оснований математики» Рассел так же, как и в первом, выразил надежду вывести аксиому сводимости из более наглядных аксиом и снова назвал ее логическим дефектом. По словам авторов «Оснований математики», «эта аксиома имеет чисто прагматическое обоснование. Она приводит к желаемым и ни к каким другим результатам. В то же время ясно, что она не принадлежит к такого рода аксиомам, на которые можно спокойно положиться». Рассел и Уайтхед понимали, что ссылка на правильность выводов, получаемых с помощью аксиомы сводимости, не является убедительным аргументом. Были предприняты различные попытки свести математику к логике без столь спорной аксиомы, но никому в этом отношении не удалось продвинуться сколько-нибудь далеко, а некоторые попытки подверглись суровой критике, так как они основывались на неверных доказательствах.
Другое направление в критике логистической школы было связано с аксиомой бесконечности. По общему убеждению, структура всей арифметики существенно зависела от этой аксиомы, в то время как не было ни малейших оснований считать ее истинной и, что еще хуже, не было способа, позволившего бы установить, истинна ли она или нет. Оставался открытым и вопрос о том, является ли эта аксиома аксиомой логики.
Справедливости ради заметим, что Рассел и Уайтхед испытывали сомнения относительно того, включать или не включать аксиому бесконечности в число аксиом логики. Их беспокоило, что содержание аксиомы выглядит «фактообразно». Сомнения возникали не только по поводу принадлежности аксиомы к логике, но и относительно ее истинности. Согласно одной из интерпретаций термина «индивидуум», предложенной Расселом и Уайтхедом, под «индивидуумами» понимались мельчайшие частицы, или элементы, составляющие Вселенную. Создавалось впечатление, что, хотя аксиома бесконечности сформулирована на языке логики, она по существу сводится к вопросу о том, конечно или бесконечно число мельчайших частиц во Вселенной, т.е. к вопросу, ответ на который может дать только физика, но никак не математика и не логика. Но если мы хотим рассматривать бесконечные множества или показать, что математические теоремы, при выводе которых была использована аксиома бесконечности, принадлежат к числу теорем логики, то нам, по-видимому, не остается ничего другого, как считать аксиому бесконечности аксиомой логики. Короче говоря, если мы хотим «свести» математику к логике, то логика, очевидно, должна включать в себя аксиому бесконечности.
Рассел и Уайтхед использовали также аксиому выбора (гл. IX), которую они называли мультипликативной аксиомой: если задан класс непересекающихся (взаимно исключающих) классов, ни один из которых не является нулевым (или пустым), то существует класс, содержащий ровно по одному элементу из каждого класса и не содержащий других элементов. Как мы знаем, аксиома выбора породила больше дискуссий и споров, чем любая другая аксиома, за исключением, может быть, аксиомы Евклида о параллельных. Аксиома выбора вызывала сомнения и у Рассела и Уайтхеда, которые так и не смогли убедить самих себя признать ее логической истиной наравне с другими аксиомами логики. Тем не менее если мы хотим свести к логике те разделы классической математики, для построения которых необходима аксиома выбора, то эту аксиому, вероятно, также необходимо счесть составной частью логики.
Использование этих трех аксиом (сводимости, бесконечности и выбора) поставило под сомнение основной тезис логицизма о возможности вывести всю математику из логики. Где провести границу между логикой и математикой? Сторонники логистического тезиса утверждали, что логика, используемая Расселом и Уайтхедом, была «чистой», или «очищенной». Другие, памятуя о трех спорных аксиомах, ставили под сомнение «чистоту» этой логики. Тем самым они отрицали, что вся математика или даже какая-то важная часть ее может быть сведена к логике. Некоторые математики и логики были склонны расширить термин «логика» так, чтобы он охватывал аксиомы сводимости, бесконечности и выбора.
Рассел, отстаивавший логистический тезис, по-прежнему защищал все, что было сделано им и Уайтхедом в первом издании «Оснований математики». В работе «Введение в математическую философию» ([79]*, 1919) он приводил следующие доводы:
При доказательстве этого тождества [математики и логики] все упирается в детали; начав с посылок, относящихся, по всеобщему признанию, к логике, и придя с помощью дедукции к результатам, заведомо принадлежащим математике, мы обнаружим, что нигде не возможно провести четкую границу, слева от которой находилась бы логика, а справа — математика. Если кто-нибудь вздумает отвергать тождество логики и математики, то мы можем оспорить его мнение, попросив указать то место в цепи определений и дедуктивных выводов «Оснований математики», где, по его мнению, заканчивается логика и начинается математика, и тогда сразу станет ясно, что любой ответ совершенно произволен.
Разногласия по поводу теории Кантора и аксиом выбора и бесконечности достигли в начале XX в. столь большой остроты, что Рассел и Уайтхед не стали включать две последние аксиомы в число аксиом своей системы, хотя и использовали их (во втором издании, 1926) при доказательстве некоторых теорем, каждый раз особо оговаривая, что вывод теорем опирается на «посторонние» аксиомы. Но аксиомы выбора и бесконечности оказались необходимыми для вывода значительной части классической математики. Во втором издании своих «Принципов математики» ([81]*, 1937) Расселу пришлось пойти на еще большие уступки. По его собственному признанию, «весь вопрос о том, что считать принципами логики, становится в значительной степени произвольным». Аксиомы бесконечности и выбора «можно доказывать или опровергать, лишь исходя из эмпирических данных». Тем не менее Рассел продолжал настаивать на единстве логики и математики.