ある計算可能関数にゲーデル数ϕ{\displaystyle\phi}が与えられたとき、集合{⟨x,y,z⟩∣ϕx(y)=z}{\displaystyle\lbrace\left\langlex,y,z\right\rangle\mid\phi_{x}(y)=z\rbrace}は帰納的可算である。
给定一个偏可计算函数ϕ{\displaystyle\phi}的哥德尔数x{\displaystylex}，则集合{⟨x,y,z⟩|ϕx(y)=z}{\displaystyle\lbrace\left\langlex,y,z\right\rangle|\phi_{x}(y)=z\rbrace}是递归可枚举的。