Изменения
Нет описания правки
Приведенные рассуждения позволяют построить следующую формулу, представляющую <tex>R\langle{}f,g\rangle (x_1, ... x_{n+1})</tex>:
<tex>R(x_1, \dots x_{n+1}, a) := \exists b \exists c (\exists k (B (b,c,0,k) \& F (x_1,...x_n, k))</tex> <tex>\;\;\;\& B (b,c,x_{n+1},a)</tex> <tex>\;\;\;\& \forall k (k < x_{n+1} \rightarrow \exists d \exists e (B (b,c,k,d) \& B (b,c,k',e) \& G (x_1,..x_n,k,d,e)))</tex>
