Изменения
→Основные определения
}}
Заметим, что если <tex> f </tex> {{---}} <tex> n </tex>-местная примитивно рекурсивная функция, то она определена на всем множестве <tex> \mathbb {N}^{n} </tex>, так как f получается путем преобразования из всюду определенных функций, и правила преобразование не портят всюду определенность.
=== Арифметические операции на примитивно рекурсивных функциях ===
==== Сложения ====
