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