MIPT-ML-20-Lect-12

Математическая логика в МФТИ для ПМФ. Темы: правило суммы; принцип включений-исключений (без подробного доказательства); правило произведения; мощность декартовой степени, множества B^A и множества-степени для конечных множеств; мощность образа множества под действием функции; натуральные числа вкладываются в каждое бесконечное множество; принцип зависимого выбора; аксиома счетного выбора.