Если любая подструктура любой нормальной модели является ее моделью, то теория:

вопрос

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

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

Отправить

• # Алгоритм, который по произвольной замкнутой формуле определяет ее выводимость:
• # Для сигнатуры аксиомой равенства будет:
• # Если S не пусто, , то для того, чтобы F был фильтром нужно:
• # Игроки игры Эренфойхта называются:
• # Две формулы с параметрами эквивалентны, если они одновременно: