Аксиоматический метод (НФЭ, 2010)
АКСИОМАТИЧЕСКИЙ МЕТОД - метод построения теорий, в соответствии с которым разрешается пользоваться в доказательствах лишь аксиомами и ранее выведенными из них утверждениями. Основания для применения аксиоматического метода могут быть разными, что обычно приводит к различению аксиом не только по их формулировкам, но и по их методологическим (прагматическим) статусам. Например, аксиома может иметь статус утверждения, или статус предположения, или статус лингвистического соглашения о желаемом употреблении терминов.