Если теория аксиоматизируема, то подструктура ее нормальной модели является:

вопрос

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

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

Отправить

• # Теорема о полноте позволяет заменить в формулировке:
• # Если А - бесконечная нормальная интерпретация сигнатуры S с равенством ,, то нормальное элементарное расширение мощности m:
• # Непротиворечивая теория с равенством в не более счетной сигнатуре, не имеющая конечных моделей и категоричная в счетной мощности:
• # Набор символов-обозначений в формулах с неотрицательными числами называется:
• # Чтобы задать интерпретацию сигнатуры S, необходимо: