MIPT-ML-20-Lect-17

Математическая логика в МФТИ для ПМФ. Темы: сравнение в.у.м. и его свойства (в т.ч. фундированность); монотонность сложения и умножения в.у.м.; вычитание и деление в.у.м. с остатком; формулировка теоремы Цермело и леммы Цорна.