Если теория имеет сколь угодно большое конечные нормальные модели, то она:

вопрос

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

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

Отправить

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