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