Примером формальной системы является
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
шахматы(Верный ответ)
конструктор "LEGO"(Верный ответ)
грамматика языка программирования(Верный ответ)