Изменения

|definition= Если некоторая функция <tex>\mathbb{N}^{n} \rightarrow \mathbb{N}</tex> может быть задана с помощью данных примитивов, то она называется '''рекурсивной'''. Если некоторую функцию можно собрать исключительно из первых 5 примитивов (то есть без использования операции минимизации), то такая функция называется '''примитивно-рекурсивной'''.