primitive recursion

...函数，这三种操作是组合（composition）、原始递归（primitive recursion）、无界限最小化 （unbounded minimalization）。