原始再帰法(PrimitiveRecursion):k項原始再帰関数fと(k+2)項原始再帰関数gについて、fとgの原始再帰として定義される(k+1)項関数、すなわち、h(0,x1,...,xk)=f(x1,...,xk)、h(S(n),x1,...,xk)=g(h(n,x1,...,xk),n,x1,...,xk)であるような関数hは原始再帰的である。
原始递归:给定k元原始递归函数f，和k+2元原始递归函数g，定义为f和g的原始递归的k+1元函数，也就是函数h这里的h(0,x1,...,xk)=f(x1,...,xk)并且h(S(n),x1,...,xk)=g(h(n,x1,...,xk),n,x1,...,xk),是原始递归的。