制。
范式定理.范式定理源于Kleene声称对于每个"k"有原始递归函数formula_20和formula_21使得对于任何"k"个自由变量的μ-递归函数formula_22有一个"e"使得数"e"被叫做函数"f"的索引或哥德尔数。这个结果的一个结论是任何μ-递归函数都可以使用把μ算子应用于（全）原始递归函数的一个单一实例来定义。Minsky (1967)(同样Boolos-Burgess-Jeffrey (2002) pp. 94-95)观察到上面定义的U在本质上是通用图