更改

</math>

</math>

——两个程序可以'''互相引用对方的代码'''。这是 SRT 的"二元推广"，可直接由 SRT 套用：

——两个程序可以'''互相引用对方的代码'''，其中<math>\langlem,n\rangle</math>代表将两个自然数编码为一个自然数的编码方式。

 

由于这个Smullyan双递归定理是 SRT 的"二元推广"，因此我们可直接由 SRT 的证明套用：

# 先用 s-m-n（[[#s-m-n 定理（柯里化 / 参数特化）|§2.3]]）构造两个可计算函数 <math>\psi_1(x) = g(S(x, x), x)</math>、<math>\psi_2(x) = h(S(x, x), x)</math>，二者均依赖自身编号；

# 先用 s-m-n（[[#s-m-n 定理（柯里化 / 参数特化）|§2.3]]）构造两个可计算函数 <math>\psi_1(x) = g(S(x, x), x)</math>、<math>\psi_2(x) = h(S(x, x), x)</math>，二者均依赖自身编号；