ФОРМАЛЬНАЯ СИСТЕМА
неинтерпретированное
исчисление,
класс выражений (формул) к-рого задаётся обычно индуктивно - посредством
задания исходных ("элементарных", или "атомарных") формул и правил образования
(построения) формул, а подкласс доказуемых формул (теорем) - посредством
задания системы аксиом и правил вывода
(преобразования) теорем
из аксиом и уже доказанных теорем. Термин "Ф. с." имеет многочисленные
синонимы (иногда, впрочем, этими терминами обозначают родственные, но не
совпадающие понятия): формальная теория, формальная математика, формализм,
формальное исчисление, абстрактное исчисление, синтаксическая система,
аксиоматическая система, логистическая система, формализованный язык,
формальная логика, кодификат, дедуктивная система и др.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я