Теория моделей. Часть 11. Парадокс Сколема.

Теоремы Лёвенгейма-Сколема (Тарского). Релятивизм Сколема. Плюс, немного вспомнили теорему Геделя о полноте и хенкиновских моделях. Донатить можно тут: https://mathem.at/Materials/maglish_index.html#support