. 317):
性质.(i) 在原始递归函数的上下文中，这里的 μ算子的查找变量 y 是有界的，也就是在下面公式中的 y<z，如果谓词 R 是原始递归的（Kleene Proof #E p. 228），则(ii) 在（全）递归函数的上下文中：这里的查找变量是无界的，但是保证对全递归谓词 R 的参数的所有值 x 都存在，则五个原始递归算子加上无界但完全μ算子给出了 Kleene 所称的“一般”递归函数（就是由六个递归函数定义的全函数）。 (iii) 在偏递归函数的上下文中