"n")= "n"+1，"n 为自然数。"例如， "S"(1)=2和 "S"(2)=3。后继函数在西方国家也称为zeration，因为它是第零类超运算：H("a", "b")=1+ "b"。
概述.后继函数被用在定义自然数的皮亚诺公理。为此，它不是由加法所定义，而是用作定义所有大于0的自然数和加法。例如，1被定义为 "S"(0)，而且自然数的加法是由递归定义：这就产生了 5 + 2 = 5 + "S"(1) = "S"(5) + 1 = 6 + 1 = 6 + "S"(0) =