原始再帰関数は数論的関数（定義域と値域が自然数、つまり負でない整数{0,1,2,...}であるような関数）である。
它也有一个特别的性质（在其他定义中不一定如此），就是每个自然数n都是恰好含n个元素的集合，即{0,1,2,...,n-1}。