Коль скоро когнитивная деятельность подразумевает удержание в мысли некоторого единства, чего-то целого, явленного в последовательных восприятиях (или действиях), то математика должна, выражая эту способность, конструировать единый предмет из многих элементов последовательности. "Человеческое понимание основано на конструировании обычных математических систем так, что каждый индивидуальный элемент жизни связан с соответствующим элементом системы" (Там же). Конструкция, таким образом, оказывается необходима потому, что создает единство многих конструктивных элементов (различенных моментов или восприятий). Конструирование, следовательно, лежит в основе человеческого понимания всякого предмета вообще. Благодаря созданной конструкции, предмет предстает человеку как существующий. Особенно это важно коль скоро речь идет о протяженном предмете, представление которого связано с длением, с непрерывно длящимся восприятием. Смысл конструирования тогда состоит в создании целостной структуры различимых элементов в текучей и неопределенной среде.
Брауэром, следовательно, была реализована трансцендентальная установка, причем в том виде, в каком она прописана у Канта. К онтологической проблематике он подходит со стороны анализа рассуждения и выясняет как должен быть устроен предмет, чтобы фигурировать в рассуждении в качестве существующего. Более того, Брауэр выясняет, что предмет должен быть для этого создан в результате конструктивной деятельности, разворачиваемой во времени. Такая конструктивная деятельность сводится к созданию единой структуры - именно так понятый математический объект может рассматриваться как существующий. Единая структура, с другой стороны, развертывается согласно закону, правилу, устанавливаемому для ряда "вещей" или восприятий. По-видимому трудно интерпретировать это правило иначе, как действие способности суждения, как установление обобщающей гипотезы для совокупности установленных ранее фактов.
4 Интерпретация существования в философии математики Гильберта
Понимание существования математического предмета в рамках формального направления в математике представляется, на первый взгляд, совершенно противоположным интуиционистскому. В книге Френкеля и Бар-Хиллела ([55], c. 322), утверждается, что Гильберт скорее всего солидаризировался бы в этом вопросе с Пуанкаре, отождествляя существование со свободой от противоречия. Следующий пассаж из работы Гильберта "О понятии числа" уточняет и подтверждает эту точку зрения.
