Если А - формула, а x - ее индивидная переменная, то:

вопрос

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

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

Отправить

• # Теория Г в сигнатуре S - это произвольное:
• # В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:
• # Любой главный фильтр является:
• # Если А, В, С - формулы, то:
• # Для счетного (конечного) подмножество интерпретации M: