克萊尼的 s-m-n 定理

一個定理，也稱為迭代定理，它使用了 Church 引入的 lambda 符號。設 表示具有 遞迴函式，該函式有 個變數，且具有 哥德爾數 （其中 (1) 通常被省略）。那麼對於每個 和 ，存在一個 原始遞迴函式 ，使得對於所有 , , ..., ,

-- 定理的一個直接應用是，存在一個 原始遞迴函式 使得

對於所有 和 。

-- 定理應用於遞迴定理的證明中。-- 定理是計算機科學的一個分支——部分求值——的理論前提。