313
правок
Изменения
→n -местный ноль
==== Арифметические операции на примитивно рекурсивных функциях ====
===== ''' n '''-местный ноль =====
<tex> \textbf 0 </tex> {{---}} функция нуля аргументов.
Константа <tex> \textbf M </tex> равна <tex> \mathrm{I}(\textbf{M-1}) </tex>
<tex> \textbf M^n </tex> {{- --}} <tex>n</tex>-местная константа, получается аналогичным к <tex> \textbf 0^n </tex> образом.
===== Сложение =====
