Но можно взять другую систему или группу аксиом геометрии. Можно выбрать такую группу аксиом, что постулат о параллельных, который в системе геометрии Евклида является независимой аксиомой, будет в этой другой системе теоремой, выводимой из принятых в этой системе аксиом.
Таким образом, аксиоматическое значение некоторых положений науки не есть безусловное свойство этих положений. Разница между аксиомой и теоремой — не безусловная. Положение, которое в одной системе науки будет аксиомой, оказывается теоремой в системе науки с другой совокупностью аксиом. И наоборот: положение, доказываемое в данной системе науки как её теорема, не доказывается, а принимается в качестве аксиомы в системе науки с другой совокупностью аксиом.
В конечном счёте выбор той или другой группы аксиом (или постулатов) в качестве принятой в науке системы оснований её доказательств обусловливается и оправдывается не самоочевидностью этих оснований, а всей суммой результатов, к которым приводят доказательства науки, опирающиеся на принятые аксиомы и постулаты. Только содержательная плодотворность результатов, полученных с помощью принятой в данной системе науки группы аксиом, составляет основание для их выбора. Тем самым выбор оснований для всей системы доказательств науки — выбор аксиом или постулатов — связывается с проверкой этих оснований по их результатам, связывается с материальной практикой, с опытом.
Таким образом, с точки зрения современной логики, опирающейся на данные новейшей науки, аксиомами называются положения, не доказываемые в данной науке и играющие в ней — наряду с определениями основных понятий — роль допускаемых оснований всех доказываемых в науке истин. Роль эту аксиомы играют не в силу своей безусловной очевидности, хотя некоторые аксиомы представляются очевидными, и тем более не в силу своей априорности, так как никаких априорных положений нет ни в какой науке. Аксиомы данной науки выбираются в качестве аксиом. Однако основанием для выбора является не субъективный произвол, не «удобство», не «соглашение», а способность выбранной группы аксиом доказать всю совокупность известных истин науки, оправданных в своих результатах, т. е. в конечном счёте удостоверенных в своей истинности материальной практикой.
То, что в аксиомах не следует видеть истины безусловно недоказуемые, было не раз показано классиками марксизма-ленинизма. Энгельс говорит, что, например, аксиомы математики «доказуемы диалектически, поскольку они не чистые тавтологии»[21]. И точно также Ленин поясняет в конспекте «Науки логики» Гегеля, что фигуры силлогизма могли получить значение аксиом только после того, как значение это было доказано в миллиардах случаев опытом: «практическая деятельность человека миллиарды раз должна была приводить сознание человека к повторению разных логических фигур, дабы эти фигуры могли получить значение аксиом»[22].
Таким образом, и аксиомы как части оснований доказательства отнюдь не «возвышаются» над опытом, отнюдь не «предшествуют» опыту, а составляют результат материальной практики и опыта, лежащего в основе доказательства.
Все указанные выше требования, предъявляемые при выборе аксиом, имеют силу, разумеется, только в отношении тех наук, которые имеют в числе своих оснований аксиомы (постулаты) или, как говорят, допускают аксиоматическое построение. Таковы математика, теоретическая физика. Но существует обширный класс наук, в которых аксиоматическое построение неприменимо. В этих науках аксиомы (постулаты) не входят в число оснований науки» Такова, например, история.
В число оснований доказательств, кроме положений об удостоверенных фактах, на которые опирается доказываемый тезис, кроме определений основных понятий науки и аксиом, входят ещё доказанные ранее положения науки, необходимые для обоснования тезиса.
Так, при доказательстве теоремы евклидовой геометрии о сумме внутренних углов плоского треугольника в качестве оснований доказательства используют не только определения понятий, например понятий о параллельных, о смежных углах о внутренних накрест лежащих углах, о соответственных углах, и не только аксиомы, например аксиому (постулат) Евклида о параллельных. В качестве оснований доказательства этой теоремы используют также доказанную до неё теорему о равенстве суммы смежных углов двум прямым.
Рассматривая доказательство, нетрудно убедиться, что ранее доказанные положения, на которые опирается доказываемый тезис, используются в ходе доказательства либо непосредственным, либо опосредствованным образом.
Непосредственно используются те положения, на которые прямо ссылаются в ходе доказательства, как на положения, из истинности которых следует истинность доказываемого тезиса. Так, одним из положений, непосредственно используемых для доказательства теоремы Пифагора, будет 41-я теорема первой книги Евклида. Теорема эта утверждает, что если параллелограмм имеет с треугольником одно и то же основание и находится между теми же параллельными, то параллелограмм будет вдвое больше треугольника. Теорема эта принадлежит к непосредственным основаниям теоремы Пифагора, так как при доказательстве последней Евклид дважды ссылается в самом ходе доказательства на 41-ю теорему. Иными словами, 41-я теорема прямо входит в число оснований, истинность которых приводит к признанию истинности теоремы Пифагора.
Опосредствованным образом используются для доказательства те положения, на которые в самом ходе данного доказательства прямо не ссылаются, но при помощи которых были ранее доказаны непосредственные основания данного доказательства. Положения эти могут быть названы предшествующими основаниями доказательства. Так, для той же теоремы Пифагора одним из таких ранее доказанных, или предшествующих, оснований её доказательства будет 38-я теорема первой книги Евклида. Теорема эта утверждает, что треугольники, находящиеся на равных основаниях и между теми же параллельными, равны между собой. Эта теорема не входит в число непосредственных оснований доказательства теоремы Пифагора, так как в ходе этого доказательства Евклид на 38-ю теорему не ссылается. Но она входит в число оснований доказательства опосредствованным образом, будучи одним из оснований, при помощи которых была доказана 41-я теорема. А эта последняя есть, как мы уже знаем, одно из непосредственных оснований доказательства теоремы Пифагора.
Чем дальше развивает наука доказательства своих положений, тем большим становится число предшествующих оснований доказательства каждого нового положения. Если, рассматривая данный тезис науки, мы задались бы целью выяснить все основания, на которые опирается его доказательство, то оказалось бы, что непосредственные основания его доказательства опираются на некоторые предшествующие им основания, эти последние — в свою очередь на другие предшествующие основания и т. д. Однако, каким бы большим ни было число предшествующих оснований данного доказательства, оно не может быть бесконечным. Рано или поздно мы дойдём до таких предшествующих оснований, которые ни из каких предшествующих им оснований уже не могут быть выведены.
Основания доказательства, которые не могут быть выведены ни из каких предшествующих им оснований, называются начальными основаниями данной науки.
Начальными основаниями для данной науки являются: положения об удостоверенных единичных фактах, определения и аксиомы (постулаты). Теоремы не могут быть начальными основаниями, так как начальные основания ниоткуда не выводятся; напротив, всякая теорема — доказываемое положение, а все доказываемые положения выводятся из оснований непосредственных или предшествующих.
Все определения и аксиомы, которые могут встретиться в отдельных доказательствах в качестве непосредственных оснований или к которым доказательство может быть возведено как к своим предшествующим основаниям, входят в число начальных оснований науки. При этом, однако, в доказательства эти основания входят в каждом отдельном случае лишь частично. Так, доказательство, например, теоремы Пифагора опирается непосредственно не на все, а лишь на некоторые аксиомы, не на все, а лишь на некоторые определения, входящие в круг начальных аксиом и определений.