Вопрос о выводимости произвольных формул языка первого порядка:

вопрос

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

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

Отправить

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