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

Лекция 4. Кодирование примитивно-рекурсивных функций в PA

  1. 00:30Теорема 2: в арифметике Пеано Σ1 - полна
  2. 29:25Кодирование примитивно-рекурсивных функций в арифметике Пеано: доказательство существования и единственности