更改

</math>

</math>

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

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

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

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