Изменения

<tex>\mathrm{U^n_i}: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex>, <tex>\mathrm{U^n_i} (x_1, ... \ldots x_n) = x_i</tex>

Если <tex>\mathrm{f}: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex> и <tex>\mathrm{g_1}, ... \ldots \mathrm{g_n}: \mathbb{N}^{m} \rightarrow \mathbb{N}</tex>, то <tex>\mathrm{S}\langle{}\mathrm{f},\mathrm{g_1},...\ldots \mathrm{g_n}\rangle: \mathbb{N}^{m} \rightarrow \mathbb{N}</tex>. При этом <tex>\mathrm{S}\langle{}\mathrm{f},\mathrm{g_1},...\ldots \mathrm{g_n}\rangle (x_1,...\ldots, x_m) = \mathrm{f}(\mathrm{g_1}(x_1,...\ldots, x_m), ... \ldots \mathrm{g_n}(x_1,...\ldots, x_m))</tex>

Если <tex>\mathrm{f}: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex> и <tex>\mathrm{g}:\mathbb{N}^{n+2} \rightarrow \mathbb{N}</tex>, то <tex>\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle: \mathbb{N}^{n+1} \rightarrow \mathbb{N}</tex>, при этом <tex>\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle (x_1,...\ldots, x_n,y) = \left\{\begin{array}{ll} \mathrm{f}(x_1,...\ldots, x_n) & y = 0\\ \mathrm{g}(x_1,...\ldots, x_n,y-1,\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x_1,...\ldots, x_n,y-1)) & y > 0

Если <tex>\mathrm{f}: \mathbb{N}^{n+1} \rightarrow \mathbb{N}</tex>, то <tex>\mu \langle{}\mathrm{f}\rangle: \mathbb{N}^{n} \rightarrow \mathbb{N}</tex>, при этом <tex>\mu \langle{}\mathrm{f}\rangle (x_1,...\ldots, x_n)</tex> &mdash; такое минимальное число <tex>y</tex>, что <tex>\mathrm{f}(x_1,...\ldots, x_n,y) = 0</tex>. Если такого <tex>y</tex> нет, результат данного примитива неопределен.

<tex> \textbf M(x) = \underbrace{\mathrm{N}(... \ldots (\mathrm{N}}_{ \text{M раз} }(\mathrm{Z}(x))))</tex>