<...> Где же искать надежность и истинность, если даже само математическое мышление дает осечку?
Но существует вполне удовлетворительный путь, по которому можно избежать парадоксов, не изменяя при этом нашей науке. Те точки зрения, которые служат для открытия этого пути, и те пожелания, которые указывают нам направление, суть следующие:
1. Мы будем заботливо следить за плодотворными способами образования понятий и методами умозаключений везде, где является хотя бы малейшая надежда, будем ухаживать за ними, поддерживать их, делать их годными к использованию. Никто не может изгнать нас из рая, который создал нам Кантор.
2. Надо повсюду установить ту же надежность заключений, которая имеется в обыкновенной, низшей теории чисел, в которой никто не сомневается и где возникают противоречия и парадоксы только вследствие нашей невнимательности.
Достижение этой цели возможно, очевидно, лишь после того, как мы полностью выясним сущность бесконечности.
Уже Кант учил — и это составляет существенную часть его учения, — что математика обладает не зависящим от всякой логики устойчивым содержанием, и потому она никогда не может быть обоснована только с помощью логики, вследствие чего, между прочим, стремления Дедекинда и Фреге должны были потерпеть крушение. Наоборот, кое-что уже дано в нашем представлении в качестве предварительного условия для применения логических выводов и для выполнения логических операций: определенные, внелогические, конкретные объекты, которые имеются в созерцании до всякого мышления в качестве непосредственных переживаний. Для того чтобы логические выводы были надежны, эти объекты должны быть обозримы полностью во всех частях; их показания, их отличие, их следование, расположение одного из них наряду с другим дается непосредственно наглядно, одновременно с самими объектами, как нечто такое, что не может быть сведено к чему-либо другому и не нуждается в таком сведении. Эго — та основная философская установка, которую я считаю обязательной как для математики, так и вообще для всякого научного мышления, понимания и общения и без которой совершенно невозможна умственная деятельность. В частности, в математике предметом нашего рассмотрения являются конкретные знаки сами по себе, облик которых, согласно нашей установке, непосредственно ясен и может быть впоследствии узнаваем. (С. 349-351)
В заключение мы хотим из всех наших рассуждений сделать некоторое резюме о бесконечном. Общий вывод таков: бесконечное нигде не реализуется. Его нет в природе, и оно недопустимо как основа нашего разумного мышления, — здесь мы имеем замечательную гармонию между бытием и мышлением. В противоположность стремлениям Фреге и Дедекинда, мы пришли к убеждению, что в качестве предварительного условия для возможности научного познания необходимы некоторые геометрически-наглядные представления и рассмотрения и что одна только логика недостаточна. Оперирование с бесконечным может стать надежным только через конечное.
Роль, которая остается бесконечному, это только роль идеи, — если, согласно Канту, под идеей подразумевать понятие, образованное разумом, которое выходит за пределы всякого опыта и посредством которого конкретное дополняется в смысле цельности, — более того, идеи, которой мы можем вполне доверять в рамках, поставленных теорией, намеченной и защищаемой мною здесь. (С. 364)
Каково же теперь истинное положение вещей в отношении упрека о вырождении математики в игру? Источником чистых теорем существования является логическая ε-акси-ома, на которой, в свою очередь, основано построение всех идеальных высказываний. А каков результат ставшей тем самым возможной игры формул? Эта игра формул допускает, что все содержание идей математической науки можно единообразно выразить и развить таким образом, чтобы вместе с тем соотношения и отдельные теоремы были понятны. Выставить общее требование, согласно которому отдельные формулы сами по себе должны быть изъяснимы — отнюдь не разумно; напротив, сущности теории соответствует, что при ее развитии нет необходимости, между прочим, возвращаться к наглядности или значимости. Физик как раз требует от теории, чтобы частные теоремы были выведены из законов природы или гипотез с помощью одних только умозаключений, не вводя при этом дальнейших условий, т.е. на основании чистой игры формул. Только известная часть комбинаций и следствий из физических законов может быть контролируема опытом, — подобно тому как в моей теории доказательства только реальные высказывания могут быть непосредственно проверяемы. Ценность чистого доказательства существования в том именно и состоит, что благодаря ему исключаются отдельные построения и многие разнообразные построения объединяются одной основной идеей, вследствие чего четко выступает только то, что существенно для доказательства: смысл доказательства существования состоит в сокращении и экономии мысли. Чистые теоремы о существовании служили в действительности важнейшими вехами исторического развития нашей науки. Но подобные соображения не влияют на верующих интуиционистов.