Аксиомы равенства в фильтрованном произведении нормальных интерпретаций:

вопрос

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

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

Отправить

• # Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима , то:
• # Из множества всех истинных в N формул сигнатуры не выводится формула:
• # В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:
• # Если х - свободное вхождение в формулу А или В, то оно:
• # Всякая выводимая в исчислении предикатов формула: