13.05.2025 Четырнадцатая лекция по математической логике(комп-ть, невыр-ть в логике предикатов)

Основное содержание: 1. Теорема о компактности 2. Теорема о невыразимости в логике предикатов 3. Аксиоматическая теория логики предикатов