Аксиома (Фролов, 1991)

АКСИОМА (греч. axioma — принятое положение) — исходное утверждение (предложение) какой-либо научной теории, которое берется в качестве недоказуемого в данной теории и из которого (или совокупности которых) выводятся все остальные предложения теории по принятым в ней правилам вывода (сравни Постулат). Начиная с античности и вплоть до середины 19 века аксиома рассматривались как интуитивно очевидные или априорно истинные предложения. При этом упускалась из виду их обусловленность человеческой практически-познавательной деятельностью. Ленин писал, что практическая деятельность человека, миллиарды раз повторяясь, закрепляется в его сознании фигурами логики, которые в силу этого многократного повторения получают значение аксиом. Современное понимание аксиоматического метода требует от аксиомы выполнения лишь одного условия: быть исходными положениями для вывода с помощью принятых логических правил всех остальных предложений (теорем) данной теории. Вопрос об истинности аксиомы решается или в рамках др. научных теорий, или при нахождении интерпретации (Интерпретация и модель) данной системы: реализация некоторой формализованной аксиоматической системы в той или иной предметной области свидетельствует об истинности принятых в ней аксиом.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 13.