MIPT-ML-20-Lect-18a

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