Изменения
→Арифметические операции на примитивно рекурсивных функциях
=== Арифметические операции на примитивно рекурсивных функциях ===
==== <tex> \textbf 0^n - n </tex>''' n '''-местный ноль ====
<tex> \textbf 0 </tex> - функция нуля аргументов.
