Successor function: The 1-ary successor function S, which returns the successor of its argument (see Peano postulates), is primitive recursive.
Функција наслеђивања: 1-арна функција наслеђивања S, која враћа наследника свог аргумента (види Пеанове аксиоме), је примитивна рекурзивна.