Математическая логика и теория алгоритмов 6. Теорема Цермело, лемма Цорна

Таймкоды: 00:00:00 - Интро 00:00:05 - Аксиома выбора 00:01:35 - теорема Цермело 00:04:57 - Корректный фрагмент 00:08:01 - Лемма 1 00:09:13 - Лемма 2 00:10:25 - Вывод теоремы Цермело 00:16:23 - Доказательство леммы 1 00:27:05 - Доказательство леммы 2 00:39:50 - Лемма Цорна 00:45:25 - Идея доказательства 00:48:29 - Пример использования - базис Гамеля 01:02:13 - Доказательство Леммы Цорна 01:16:30 - Анонсик Дата лекции: 25.02.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист