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

Лекция 1. Аксиомы ZFC

  1. 00:19Введение
  2. 08:16Определение формальной системы
  3. 11:10Логика первого порядка
  4. 36:37Модели
  5. 01:07:40Аксиомы ZFC