Методология научного познания                       

Аксиоматический метод построения научной теории это такой способ, при котором в её основу кладутся без доказательств некоторые исходные положения (суждения) аксиомы, или постулаты, причем вхо­дящие в них понятия не определяются. Из этих постулатов все остальные утверждения этой теории (теоремы) должны после­довательно по установленным правилам выводиться строго установленным логическим путём, с помощью доказательств, изначально принятых как допустимые. Цель такого метода состоит в ограничении произвола при принятии научных суждений в качестве истин данной теории. Построение науки на основе аксиом обычно называется дедуктивным. Все понятия дедуктивной теории (кроме фиксированного числа первоначальных) вводятся посредством определений, выражающих (или разъясняющих) их через ранее введённые понятия. Логические средства, применяемые при построении аксиоматических теорий, разработаны современной формальной логикой, в частности клас­сическим исчислением предикатов.