再帰理論において原始再帰関数は、計算可能性の完全形式化のための重要な要素となる関数のクラスの1つである。
在可计算性理论中，原始递归函数（英语：primitiverecursivefunctions）对计算的完全的形式化而言是形成重要构造板块的一类函数。