これがもっとも一般的？

任意の部分帰納的関数 Q(x,y)に対して指標pが存在して \varphi _{p}\simeq \lambda y.Q(p,y)が成り立つ