n - местный предикат P - устойчив относительно автоморфизма , если:

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Из выводимости "Сколемовской нормальной формы", выводимость формулы:
• # Кольцо может быть в поле, если:
• # Если теория аксиоматизируема, то подструктура ее нормальной модели является:
• # Если B - полный базис, то существует :
• # Если х - свободное вхождение в формулу А, то оно всегда: