Кузнецов С. Л. - Математическая логика - Китайская теорема об остатках

0:03:28 1. Определение наименьшего общего кратного чисел упражнения 0:13:06 2. Китайская теорема об остатках и её доказательство 0:34:36 3. β-функция Гёделя 0:53:07 4. Кодирование пар 1:00:30 5. Ограниченные кванторы 1:05:36 6. Теорема 1: Класс Σ1 замкнут относительно ∧, ∨, ∃, ∀x меньше t. Теорема 2: в арифметике Пеано Σ1 - полна.