後者関数の反対の動作をする前者関数(PredecessorFunction)を次のように再帰的に定義する:pred(0)=0,pred(n+1)=n.これを原始再帰関数の形式的定義となるよう変換すると、次のようになる:pred(0)=0,pred(S(n))=P22(pred(n),n).限定された減算関数は、この前者関数を使って定義される。
直觉上我们会把前驱定义为:pred(0)=0pred(n+1)=n为了使它适合正式的原始递归定义，我们写:pred(0)=0pred(S(n))=P22(pred(n),n)现在我们以类似加法的方式定义减法。