クリーネの第二再帰定理
これがもっとも一般的？
Stephen Cole Kleene
任意の
部分帰納的関数
$ Q(x,y)
に対して指標
$ p
が存在して
$ \varphi _{p}\simeq \lambda y.Q(p,y)
が成り立つ