АКСИОМА

исходное положение науч. теории, принимаемое в качестве истинного без логич. доказательства и лежащее в основе доказательства др. положений этой теории. Термин «А.» впервые встречается у Аристотеля. В истории познания А. обычно рассматривались как вечные и непреложные априорные истины, при этом упускалась из виду их обусловленность многовековым человеч. опытом, практич.-познават. деятельностью.

В совр. науке А.- это те предложения теории, к-рые принимаются за исходные, причём вопрос об истинности решается либо в рамках др. науч. теорий, либо посредством интерпретации данной теории. В отличие от содержат, науч. теории, А. в формальном исчислении - это просто одна из тех формул, из к-рых по правилам вывода этого исчисления выводятся остальные доказуемые в нём формулы (теоремы этого исчисления). См. также ст. Аксиоматический метода лит. к ней.