Recursión primitiva de tipo 2

Sean g:Nn+2 -> N, f:Nn -> N funciones. Decimos que h:Nn+1 -> N se obtiene de recursión primitiva de tipo 2 de f y g (ERP2) si h cumple: -h(x1,...,xn,0) = f(x1,...,xn) -h(x1,...,xn,t+1) = g(x1,...,xn,t,h(x1,...,xn,t))