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