ペアノの公理
後者関数は、ペアノの公理にて自然数を定義するために使用される。つまり、0以上の自然数は加法ではなく、後者関数を使って定義されている。例えば1は "S"(0) と定義され、自然数の加算は次の様に再帰的に定義される。