Если любая подструктура любой нормальной модели является ее моделью, то теория:
(Отметьте один правильный вариант ответа.)
Варианты ответа
аксиоматизируема(Верный ответ)
П1 не аксиоматизируема
противоречива