Лекция 9. Формальная арифметика

  1. 00:19Формальная арифметика. Исторический экскурс
  2. 09:10Аксиомы арифметики Пеано
  3. 24:00Логическое изложение аксиом арифметики Пеано
  4. 37:47Теоремы формальной арифметики
  5. 41:06Доказательство теорем