Вклад участника

Примитивно рекурсивные функции

‎Арифметические функции и отношения. Их выразимость в формальной арифметике