Формальная система определяется
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
конечным набором исходных объектов(Верный ответ)
множеством правил вывода(Верный ответ)
конечным алфавитом(Верный ответ)