更改

</math>

</math>

函数 <math>\psi(S(y, y), x)</math> 是可计算的（它只是把 [[#s-m-n 定理（柯里化 / 参数特化）|§2.3]] 的[[柯里化操作]] <math>S</math> 和 <math>\psi</math> 复合起来），所以它有编号，设为 <math>e</math>。令 '''<math>f = S(e, e)</math>'''，则对任何输入 <math>x</math>：

其次，不难知道函数 <math>\psi(S(y, y), x)</math> 是可计算的（它只是把 [[#s-m-n 定理（柯里化 / 参数特化）|§2.3]] 的[[柯里化操作]] <math>S</math> 和 <math>\psi</math> 复合起来），所以它有编号，设为 <math>e</math>。令 '''<math>f = S(e, e)</math>'''，则对任何输入 <math>x</math>：

: <math>\phi_f(x) = \phi_{S(e,e)}(x) = \phi_e(e, x) = \psi(S(e,e), x) = \psi(f, x)</math>  ∎

: <math>\phi_f(x) = \phi_{S(e,e)}(x) = \phi_e(e, x) = \psi(S(e,e), x) = \psi(f, x)</math>  ∎