Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория множеств Цермело

0:00:09 1. Введение 0:00:30 2. Теорема 14.1 О существовании модели 0:08:24 3. Теорема 14.2 Гёделя о полноте 0:14:04 4. Теорема 14.3 О компактности 0:18:39 5. Теорема 14.4 Лёвенгейма-Сколема о понижении мощности 0:21:00 6. Теорема 14.5 О повышении мощности 0:36:25 7. Теорема 14.6 (Существование нестандартных моделей арифметики) 0:46:05 8. Теория множеств 0:50:31 9. Предложение 14.7 N противоречива 0:57:26 10. Теория множеств Цермело 1:23:33 11. Теорема Кантора-Бернштейна 1:25:31 12. Теорема Кантора 1:27:02 13. Аксиома выбора