text: Частично рекурсивные функции для некоторых значений аргумента могут быть не определены, так как оператор минимизации аргумента не всегда корректно определён, поскольку функция f {\displaystyle f} может быть не равной нулю ни при каких значениях аргументов.