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

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