Математика как иностранный. A2-2. Теория моделей в классической логике.

По-прежнему мусолим классическое исчисление предикатов. На этот раз разбираемся с понятием модели сигнатуры и смотрим некотоые свойства и определения, связанные с моделями. Теорема о корректности ИП. Теорема Гёделя о полноте ИП. Теорема Мальцева о компактности. Теорема Лёвенгейма-Сколема.