也称克利尼递归定理。该定理是说：设Φ：是递归算子，则存在递归函数f，f是Φ的最小不动点．
所谓不动点，是说f满足
所谓最小，是说f是Φ的任何一个不动点的子集，即
若Φ(g)=g，则g．
由此可见，若f是全函数，则它是Φ唯一的不动点．
是递归算子，则存在递归函数f，f是Φ的最小不动点．
g．