Если T1, T2 - теории сигнатуры с равенством, то:
(Отметьте один правильный вариант ответа.)
Варианты ответа
существует нормальная модель T1 и ее расширение - нормальная модель T2(Верный ответ)
не существует нормальная модель T1 и ее расширение - нормальная модель T2