克莱尼的 s-m-n 定理

一个定理，也称为迭代定理，它使用了 Church 引入的 lambda 符号。设 表示具有 递归函数，该函数有 个变量，且具有 哥德尔数 （其中 (1) 通常被省略）。那么对于每个 和 ，存在一个 原始递归函数 ，使得对于所有 , , ..., ,

-- 定理的一个直接应用是，存在一个 原始递归函数 使得

对于所有 和 。

-- 定理应用于递归定理的证明中。-- 定理是计算机科学的一个分支——部分求值——的理论前提。