Такой жесткий вывод и был, собственно, сделан интуиционистской школой, реализация программы которой состояла в значительном урезании всей математики. Намерение Гильберта было прямо противоположным: обосновать корректность тех частей математики, для которых существенно обращение к принципиально нефинитным предметам. Видимо это и обусловило его обращение к той интерпретации существования, которая была в свое время предложена Пуанкаре. Разработанный Гильбертом аксиоматический подход позволял достаточно ясно сформулировать, что означает свобода от противоречия в качестве критерия существования (см. выше - о существовании совокупности действительных чисел). Доказательство существования, таким образом превращалось в доказательство непротиворечивости системы аксиом. То, как Гильберт предполагал доказывать непротиворечивость, придает понятию финитности совершенно новый смысл.
Суть стратегии Гильберта сводилась к тому, чтобы, формализовав основные методы рассуждения в математике, установить их непротиворечивость путем анализа самого рассуждения (См, напр,[11], [12], [14], [18], [50], [55], [62]). Объектом изучения стали не математические предметы, а рассуждения об этих предметах. Но рассуждение в математике, как и всякое человеческое рассуждение вообще, даже будучи обращено к бесконечному предмету, само остается конечным. Поэтому наука, изучающая рассуждения, названная Гильбертом метаматематикой, по определению имеет дело только с финитным объектом. Сама математика может сколько угодно оперировать с бесконечностью. Но это ее оперирование будет всегда выражено в виде конечного текста, записанного по определенным правилам. Требование наглядности оказывается здесь особенно важным. Мы можем быть уверены в производимых нами математических рассуждениях, если доказана их непротиворечивость. Доказательство же непротиворечивости, производимое на метауровне, может и должно быть наглядным, непосредственно очевидным. Объект, конструируемый в ходе метарассуждения, возникает у нас на глазах и его свойства (в частности, свойство непротиворечивости) оказывается наглядно представимым и непосредственно проверяемым. Здесь особую роль играет знаковая природа математического рассуждения. В нем любой (в том числе и бесконечный) предмет представлен знаком, конечным, более того, чувственным, доступным непосредственному восприятию объектом. Это обстоятельство специально подчеркивалось Гильбертом: "Кое-что уже дано в нашем представлении для применения логических выводов и для выполнения логических операций: объекты, которые имеются в созерцании до всякого мышления в качестве конкретных переживаний. Для того, чтобы логические выводы были надежны, эти объекты должны быть обозримы полностью, во всех частях; их показания, их отличия, их следование, расположение одного из них наряду с другим дается непосредственно, наглядно, одновременно с другими объектами, как нечто такое, что не может быть сведено к чему-либо другому и не нуждается в таком сведении..." И далее: "В математике предметом нашего рассмотрения являются конкретные знаки сами по себе, облик которых, согласно нашей установке, непосредственно ясен и может быть впоследствии узнан" ([15], c. 351).
