Проследим за изложением идей Гильберта. Он вводит две аксиомы, которые формулирует на своем символическом языке, но которые на языке таких профанов, как мы, обозначают, что всякое количество равно самому себе и что всякая операция, произведенная над двумя тождественными количествами, дает тождественные результаты. В такой формулировке аксиомы очевидны, но выразить их в таком виде значило бы исказить мысль Гильберта. С точки зрения Гильберта, математика комбинирует только чистые символы, и настоящий математик должен рассуждать о них, не заботясь об их смысле. Его аксиомы не являются для него тем же, чем они являются для обыкновенного человека.
Он рассматривает эти аксиомы как выраженное при помощи постулатов определение символа =, не опороченного еще каким-либо значением. Но чтобы оправдать это определение, необходимо доказать, что эти две аксиомы не ведут ни к какому противоречию.
Для этого Гильберт пользуется рассуждением, изложенным у него в разделе III, не замечая, по-видимому, что он прибегает к полной индукции.
Конец мемуара Гильберта совершенно загадочен, и мы на нем не будем подробно останавливаться. Противоречия здесь умножаются; чувствуется, что автор сознает смутно petitio principii, в которое он впал, и что он напрасно старается замазать трещины своего рассуждения.
Что же это значит? В тот момент, когда необходимо доказать, что определение целого числа при помощи аксиомы полной индукции не влечет противоречия, Гильберт от этого отделывается, как отделываются Рассел и Кутюра, ибо трудность слишком велика.
Геометрия
Геометрия, говорит Кутюра, есть обширная область доктрин, в которой не фигурирует принцип полной индукции. В известной мере это верно; нельзя сказать, чтобы он совсем не входил, но он входит мало. Если обратиться к «Rational Geometry», написанной Халстедом (N. Y., John Wiley and Sons, 1904) и построенной на принципах Гильберта, то можно заметить, что принцип полной индукции появляется в первый раз на с. 114, если только я не пропустил его раньше, что очень возможно.
Таким образом, геометрия, которая еще несколько лет тому назад казалась областью, в которой господство интуиции бесспорно, является теперь областью, в которой торжествует логистика. Этим лучше всего измеряется важность геометрических трудов Гильберта и тот глубокий отпечаток, который они оставили на наших понятиях.
Но не нужно поддаваться обману. Какова в конце концов основная теорема геометрии? Она заключается в том, что аксиомы геометрии не заключают в себе противоречия, а это не может быть доказано без принципа индукции.
Как же Гильберт доказывает этот существенный пункт? Опираясь на анализ, через анализ на арифметику и через арифметику на принцип индукции. И если когда-нибудь изобретут другое доказательство, то придется все же опереться на этот принцип, потому что выводов из тех аксиом, логическую совместимость которых нужно доказать, может быть бесконечное множество.
Заключение
Наш вывод заключается прежде всего в том, что на принцип индукции нельзя смотреть как на скрытое определение целого числа.
Вот три истины:
принцип полной индукции;
постулат Евклида;
физический закон, согласно которому фосфор плавится при 44° (приводится у Леруа).
Говорят, что эти истины являются скрытыми определениями: первое есть определение целого числа, второе — прямой линии, третье — фосфора.
Я принимаю это для второй истины, но не принимаю для двух других. Объясню причину такой кажущейся непоследовательности.
Мы видели прежде всего, что определение приемлемо лишь в случае, если установлено, что оно не заключает в себе противоречия. Мы доказали также, что такое доказательство невозможно для первого определения; для второго, наоборот, Гильберт дал полное доказательство.
Что же касается третьего определения, то оно, очевидно, не заключает противоречия; но значит ли это, что определение, как это требовалось бы, с несомненностью свидетельствует о существовании определенного предмета? Мы выходим здесь из области математических наук и вступаем в область физических наук. Слово «существование» не имеет уже того смысла, что раньше, оно не обозначает отсутствия противоречия, а обозначает объективное существование.
Вот уже первое основание для различия, которое я делаю между вышеприведенными тремя случаями. Есть еще другое основание. Эти три понятия находят последующие применения; имеют ли эти понятия в применениях то значение, которое установлено этими тремя постулатами?