Итак: аксиоматика движется от той абсолютной простоты, которая есть в простом акте полагания (единица, точка, элемент и событие), до системы систем этих полаганий. Можно применить сюда термин, много раз употреблявшийся у нас в предыдущем, беря его в расширенном значении, а именно, понимая его исключительно в смысле нашей выразительной формы. Это понятие метризации. Пусть у нас будет метризованная система единиц (чисел), — напр., метризованное поле; пусть будет метризованное пространство, метризованное множество, метризованная вероятность. Это предел, дальше которого мы уже покидаем самое учение о единицах, точках и т. д. и переходим к тому, что хотя его и предполагает, но является уже совсем иным.

d) В этом рассуждении мы не воспользовались диалектическими схемами. И многие думают, что так оно и проще, и яснее. Однако философу ясно совсем не то, что ясно обыденному сознанию. Указанное только что начало и конец аксиоматики необходимо зафиксировать диалектически. Этого делать здесь не следует после стольких разъяснений в предыдущем изложении. Но в виде кратчайшего резюме можно сказать, что начало этого пути — акт полагания, внутри не дифференцированный, т. е. чистое полагание без категории различия внутри себя, а значит, и без всяких других категорий, конец же этого пути — акт полагания, внутри расчлененный и вовне явившийся как таковой. Сначала это просто акт полагания, в котором не положена еще пока ни одна логическая категория, а все категории, необходимые для его мыслимости, находятся вне его, мыслимы кем–то другим. В конце же это такой акт полагания, в котором положены и все категории, необходимые для его мыслимости, так что он предстал здесь вместо изначального безразличия, как определенная внутренне–внешняя структура.

Таковы эти начало и конец пути. И других начал и концов невозможно и мыслить. Везде мы находимся здесь между абсолютной простотой и ясно созревшей структурой; при этом простота — там, где нет различий, а структура — там, где эти различия есть и где, кроме того, есть, хотя бы принципиально, различие этих различий, т. е. качественное разнообразие их закономерности. Это так везде, так и в аксиоматике.

4. а) Чем же теперь заполнен этот аксиоматический путь? Его тоже можно было бы сначала описать чисто фактически, не вникая во всю сложность диалектических связей. Однако господствующие здесь предрассудки так велики, что никакое простое описание без всего потребного здесь логического аппарата никем не примется здесь на веру. Можно было бы, напр., исходить из чисто геометрической аналогии. Всякому ясно, что если вместо одной точки мы возьмем две различных точки, то тем самым мы получим какую–то линию, и прежде всего прямую, и даже определенный ее отрезок. Всякому ясно, что если вместо двух точек взять три различные точки не на одной прямой, то мы получим плоскость. Далее мы также получим тело (в связи с тремя измерениями) и разные структуры телесности (в связи с большим числом измерений). Однако не всякому ясно, что перейти от точки к прямой — это значит затратить[106] категорию самотождественного различия, и если невозможно отрицать, что для прямой необходимы по крайней мере две различных точки, то большинство, конечно, не поймет, как это они должны отождествляться, хотя и абсолютно очевидно [107], что между концами отрезка нет ровно никакого перерыва.

Следовательно, даже аналогия с геометрией ничего не скажет тому, кто глух к диалектике. А между тем логическое назревание категорий происходит как раз в том смысле, в каком назревает геометрическая фигура по мере перехода точки к образованиям с тем или иным числом измерений. В диалектике мы проходим ровно такие же этапы логического развития, как и в эволюции геометрической фигуры от точки до многомерного образования. Здесь действуют те же самые основные категории, создающие возможность мыслить ту или иную структуру. Ясно, что можно всячески подходить к этим вехам диалектического развития, но от этого подхода они нисколько не меняются. Мы можем, напр., описать этот путь при помощи диалектических триад, тетрад, пентад и пр.; можем сделать это даже при помощи диад, — напр., просто противопоставляя одну категорию другой, как прямая противополагается точке, плоскость — прямой и т. д. Можно и совсем отбросить всякую диалектическую манеру выражаться; и от этого сама диалектика, залегающая в основе математического бытия, конечно, нисколько не пострадает. Но мы изберем наиболее педантический, но зато наиболее простой и очевидный путь. Это путь триад.

b) Очень ясно этот путь аксиоматики от начала к концу рисуется при помощи триад так. Что такое система первоначальных элементов, пояснения не требует. Будем считать такую систему за исходный пункт аксиоматической диалектики. Тогда ее отрицанием, или инобытием, окажется ее переход в новую форму при помощи тех или иных преобразований. Этим инобытием и будут самые преобразования. Но полученный после этих преобразований результат есть тоже некоторая система. Этим самым мы отрицаем наше отрицание и возвращаемся к тезису, т. е. совершаем обычный диалектический переход. Получается система систем—диалектический синтез. В арифметике системой актов полагания будет само число, но — уже готовое и сформированное, цельное арифметическое число. В геометрии это есть фигура, в теории множеств — тип и в теории вероятностей — исчисленная вероятность. Этот общий аксиоматический тезис можно также назвать и совокупностью. В антитезисе мы получим разного рода преобразования, и прежде всего то, что называется действиями, или операциями. И в синтезе — метризованную систему, или совокупность, или же систему систем, дающую, смотря по характеру математической области, ту или иную метрическую систему чисел, пространства, множества и вероятностей.

c) В каждой из этих трех областей диалектической аксиоматики можно проводить дальнейшие триады, как это видно из прилагаемой общей таблицы. Но надо не терять из виду общую структуру основных суждений о математическом предмете, именуемых аксиомами, а эта структура создается неизменно через самоироти–вополагание первоначальных элементов и их самоотождествление, путем перехода от простейшего к сложнейшему.

Так из единого перво–принципного корня вырастает все диалектическое дерево математической аксиоматики.

В предыдущем мы рассмотрели число как перво–прин–цип (отграничивши его от всего, что не есть число), число как принцип, или как понятие (раскрывши его диалектическую структуру), и число как суждение (установивши все основоположения, вытекающие из его структуры как категориальной). Из общей логики, да также из элементарного рассуждения мы знаем, однако, что суждение — отнюдь не последняя логическая форма, что дальше, в порядке усложнения, следует т. н. умозаключение, а после этого умозаключения еще по крайней мере одна структура, это доказательство — индуктивное, дедуктивное и синтетическое. Так как мы преследуем цели логической системы, то невозможно обойти молчанием число как умозаключение и число [как] доказательство.

[1 ]. Здесь, однако, полезно вспомнить первые общедиалектические категории, которые являлись и еще много раз будут являться для нас руководящей нитью для нашей системы. Именно, припомним, что бытие, истекающее из перво–бытия и противостоящее инобытию, синтезируется с ним в становление, а становление, противополагаясь и синтезируясь со своим собственным инобытием, порождает ставшее или наличное бытие, факт и в дальнейшем — выражение, энергийно–смысловое выражение. Эта элементарная диалектическая структура должна быть проведена и в отношении всего понятия числа еще до перехода к конкретно–математическим наукам. До сих пор, как сказано, мы разбирали только три первых момента этой структуры— перво–принцип, понятие, и суждение. Что же такое тут будет умозаключение, если его понимать как переход от смыслового становления к смысловому ставшему? Здесь нужны, однако, предварительные разъяснения и условия.

Чем, в сущности, занималась аксиоматика и что такое аксиома? До сих пор мы попросту говорили, что числу, как суждению, соответствует аксиома. Сейчас же этот вопрос необходимо расчленить, так как иначе не будет понятен переход к умозаключению.

Именно, суждение есть, как мы знаем, положенное понятие. Положить, или утвердить, — это значит обвести границей, определить. Строго говоря, в том, что мы до сих пор называли суждением, самым