Изменения
Нет описания правки
{{В разработке}}
Все рассматриваемые здесь функции действуют из подмножества <tex> \mathbb {N}^t </tex> в <tex> \mathbb {N} </tex>, где <tex> t </tex> - любое целое неотрицательное натуральное число.Также будем считать что <tex> 0</tex> натуральное число.
== Примитивно рекурсивные функции ==
=== Основные определения ===
