Формальная система

ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) которого задается обычно индуктивно — посредством задания исходных формул и правил образования формул, а подкласс доказуемых формул (теорем) — посредством задания системы аксиом и правил вывода теорем и аксиом и уже доказанных теорем. Термин «формальная система» имеет многочисленные синонимы: формальная математика, формальная теория, формализм, абстрактное исчисление, логическая система, формальный язык, формальная логика, дедуктивная система и другие.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 488.