Логическая аксиома

- формула логико-математич. языка, принимаемая в качестве аксиомы при построении формальной теории, истинная в любой структуре для данного языка в силу смысла логич. символов. Л. а. выбираются таким образом, чтобы множество логических следствий из аксиом в точности совпадало с множеством теорем. Так, при построении формализованной теории в нек-ром языке первого порядка Lв качестве логич. аксиом могут быть выбраны все формулы, получающиеся подстановкой произвольных формул языка Lвместо предикатных переменных в аксиомы исчисления предикатов.