Iterationstheorem, S-m-n-Theorem, Satz in der Berechnungstheorie:

Seien m, n ≥ 1. Dann gibt es eine (m + 1)-stellige total berechenbare Funktion s so, daß \begin{eqnarray}{\varphi }_{e}^{(m+n)}({x}_{1},\ldots {x}_{m},{y}_{1},\ldots,{y}_{n})\\ \,\,\,\,={\varphi }_{s(e,{x}_{1},\ldots,{x}_{m})}^{(n)}({y}_{1},\ldots,{y}_{n}).\end{eqnarray}

Hierbei ist \({\varphi }_{1}^{(k)},{\varphi }_{2}^{(k)},\,\ldots \)eine Aufzählung aller k-stelligen partiell-rekursiven Funktionen.

Anwendung findet das Parametertheorem vor allem in Kombination mit dem Kleeneschen Fixpunktsatz.