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