Матлогика 9. Теорема Кантора-Бернштейна-Шрёдера. Аксиома выбора

00:00 - Теорема Кантора — Бернштейна — Шрёдера 08:55 - Лемма о монотонном операторе 15:20 - Применения теоремы КБШ 28:30 - Характеристическая функция 38:40 - Проверка множеств на равномощность 41:00 - Континуум-гипотеза 55:50 - Предисловие к аксиоме выбора 01:09:20 - Формулировка аксиомы выбора