Метатеорема - это
(Отметьте один правильный вариант ответа.)
Варианты ответа
утверждение о свойствах исчисления предикатов
утверждение о свойствах некоторой теории(Верный ответ)
утверждение о свойствах конечных автоматов