Изменения

'''Примитивно рекурсивными''' (англ. ''Primitive recursive'') называют функции, которые можно получить с помощью правил <tex>1</tex>{{---}}<tex>5</tex>.