Kamus

\Phi (M,x)} を M に x を入力して実行してから停止するまでに要するステップ数とする。1番目の公理は明らか。2番目の公理は、万能チューリング機械に M と x を入力して n ステップ目までの計算を模倣すれば判定できるからよい。 全域計算可能関数 f {\displaystyle f}