Теорема о полноте позволяет заменить в формулировке:

вопрос

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

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

Отправить

• # Теория Г в сигнатуре S - это произвольное:
• # Теория Г может быть:
• # Если существует бесконечно далекий ak из ряда ‹ai›, I=0,1,… который бесконечно близок к а, то:
• # Чтобы задать интерпретацию сигнатуры S, необходимо:
• # Для семейства многочленов Pn(x), отбрасывание старшего члена: