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