Теория моделей. Часть 1. Формальная теория

Обсуждаем структуру формального языка, порожденного сигнаурой. Замыкание множества формул. Теория и ее аксиоматика. Донатить можно тут: https://mathem.at/Materials/maglish_index.html#support