MIPT-ML-20-Lect-18b

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