Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима , то:
(Отметьте один правильный вариант ответа.)
Варианты ответа
Г будет полным в этой сигнатуре(Верный ответ)
Г будет пополняемым в этой сигнатуре
Г будет неполным в этой сигнатуре