一种由两个全函数生成一个全函数的函数运算，常简作递归。
设f(x，…，x)为n元全函数，g(x，…，x，y，z)为n+2元全函数，满足下述条件的(唯一一个)n+1元全函数h(x，…，x，y)：
称为由f和g经原始递归(运算)而得到的。
原始递归的基本思想与数学归纳法相似：利用自然数组的良序性，将h在极限点(初始点)上的计算归结为f，而将h在后继点上的计算归结为g和h在该后继点的前趋上的值。因此，只要会计算f和g，就可依次算出
h(x，…，x，0)
h(x，…，x，1)，
…………
h(x，…，x，y)。