Этот тезис дает алгоритмическое толкование понятие отчасти рекурсивной функции. Его нельзя обосновать, так как он связывает нестрогое математическое понятие интуитивно…