Математика как иностранный. B2-2. Интерпретация PA в ZF.

Погружаем язык и аксиоматику арифметики Пеано первого порядка в теорию ZF без аксиомы бесконечности путем релятивизации формул на класс нумералов (конечных ординалов).