x 1.00
Скачать видео

Лекция 14. Модальная логика. Теория множеств Цермело

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