Лекция 3. Китайская теорема об остатках

Наименьшее общее кратное (НОК) для конечного набора чисел (значений псевдотерма) в PA, его доказуемая тотальность. Китайская теорема об остатках (доказательство в PA). Бета-функция Гёделя, леммы Гёделя о бета-функции. Ограниченные кванторы, класс формул $\Delta_0$. Класс формул $\Sigma_1$, его замкнутость (с точностью до эквивалентности в PA) относительно конъюнкции, дизъюнкции, квантора существования и ограниченного квантора всеобщности.