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