更改

* 为什么称该定理为Uniform的？数学中，一个性质或定理的表述可以看作是某一个参数的函数，就称为Uniform的（一致的）。第二递归定理的{{EquationNote|表述A}}显然是一种非Uniform的形式，因为它孤立地依赖于函数<math>\psi</math>。而Uniform形式的递归定理则将定理所表述的性质看作是编号<math>e</math>的函数，所以是Uniform的。

* 为什么称该定理为Uniform的？数学中，一个性质或定理的表述可以看作是某一个参数的函数，就称为Uniform的（一致的）。第二递归定理的{{EquationNote|表述A}}显然是一种非Uniform的形式，因为它孤立地依赖于函数<math>\psi</math>。而Uniform形式的递归定理则将定理所表述的性质看作是编号<math>e</math>的函数，所以是Uniform的。

* 无条件的全称命题。注意陈述里没有“若 <math>\phi_e</math> 可计算”之类的前提——对一切 <math>e</math> 都成立。<math>e</math>号程序在 <math>(r(e), x)</math> 上不停机时，两边同时无定义，等式照样成立。这跟“不动点自由的函数必须是不可计算的”（[[#Arslanov 判据|Arslanov 判据]]）是一体两面：<math>r</math> 是全的，所以没有可计算函数能躲开它。

* 无条件的全称命题。注意陈述里没有“若 <math>\phi_e</math> 可计算”之类的前提——对一切 <math>e</math> 都成立。<math>e</math>号程序在 <math>(r(e), x)</math> 上不停机时，两边同时无定义，等式照样成立。这跟“不动点自由的函数必须是不可计算的”（[[#Arslanov 判据|Arslanov 判据]]）是一体两面：<math>r</math> 是全的，所以没有可计算函数能躲开它。

* 该定理的证明如何构造？把 §[[#证明|5.2]] 展开版证明逐步查一遍——第 0 步用 s-m-n 造 <math>a</math> 的编号（[[原始递归]]操作），第 2 步 <math>f = S(e,e)</math>（S为[[原始递归]]的）——每一步都是编号上的原始递归运算。所以复合出来的 <math>e \Longrightarrow f</math> 就是那个 <math>r</math>，原始递归。这也是为什么说 Kleene 1938/1952 的原始证明“实际上已经是 uniform 的”：证明即算法。

* 该定理的证明如何构造？把 §[[#证明|5.2]] 展开版证明逐步查一遍——第 0 步用 s-m-n 造 <math>a</math> 的编号（[[原始递归]]操作），第 2 步 <math>f = S(e,e)</math>（S为[[原始递归]]的）——每一步都是编号上的原始递归运算。所以复合了<math>f</math>出来的 <math>e</math> 就是这里的 <math>r</math>，原始递归。这也是为什么说 Kleene 1938/1952 的原始证明“实际上已经是 uniform 的”：证明即算法。

不难理解，{{EquationNote|表述B}}也可以改写为Uniform的形式：

不难理解，{{EquationNote|表述B}}也可以改写为Uniform的形式：