f(x, y) ≡ x + y

задаётся рекурсивными уравнениями:

x + 0 = x
x + (y + 1) = (x + y) + 1

`g`(`x`) ≡ `x`	проекция U¹₁
`h`(`x`, `y`, `z`) ≡ `z` + 1	композиция проекции и следующего S °U³₃