Изменения
→Основные определения
}}
Заметим что частично рекурсивная функция может быть неопределена для некоторых значений аргументов.
{{Определение
|definition=
'''Общерекурсивными''' называют всюду определенные частично рекурсивные функции.
}}
Любая [[примитивно рекурсивные функции|примитивно рекурсивная функция]] является общерекурсивной. Поэтому и для частично рекурсивных функций можно считать что у них в качестве аргумента и результата могут быть списки из натуральных чисел.
