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

Лекция 10. Теорема о компактности и её следствия

  1. 00:19Необходимые определения
  2. 09:10Теорема о компактности
  3. 15:15Теорема 2
  4. 25:51Формальная теория
  5. 36:28Формальная арифметика
  6. 01:04:01Итог