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