MIPT-ML-20-Lect-25

Математическая логика в МФТИ для ПМФ. Темы: теорема компактности и ее применения; нестандартные модели арифметики как упорядоченные множества; аксиоматизация классов структур.