Если все П1-формулы сигнатуры S с равенством, выводимые из теории Т, истинны в А, то:
(Отметьте один правильный вариант ответа.)
Варианты ответа
нормальная интерпретация А расширяема до нормальной теории Т(Верный ответ)
А и Т совпадают
А не расширяема до Т