Das Einsetzungsschema erzeugt aus einer n-stelligen Funktion f und den k-stelligen Funktionen g 1, …, g n eine k-stellige Funktion h: \begin{eqnarray}h ...
Eine Funktion \begin{eqnarray} f: \mathbb{N}_{0} {}^{k} \rightarrow \mathbb{N}_{0}, \: k \geq 0 \end{eqnarray} die entweder eine der Basisfunktionen ist, oder sich durch endlich viele Anwendungen des ...