後繼函數

后繼函数被用在定义自然数的皮亚诺公理，皮亚诺公理形式化了自然数的结构，当中后继函数是自然数上的一种原始运算，定义所有大於0的自然数和加法。例如，1被定义为 S(0)，自然数的加法是由递归定义：

${\displaystyle {\begin{aligned}&m+0&=m\\&m+S(n)&=S(m+n)\\\end{aligned}}}$

这可以用来计算任意两自然数的加法，例如${\displaystyle 5+2=5+S(1)=S(5+1)=S(5+S(0))=S(S(5+0))=S(S(5))=S(6)=7}$。

集合论中曾提出了集中自然数的构造，例如冯·诺依曼将0构造为空集${\displaystyle \{\}}$，将n的后继集${\displaystyle S(n)}$构造为集合${\displaystyle n\cup \{n\}}$。这样，无穷公理就保证存在包含0且对S闭合的集合，最小的此种集合用${\displaystyle \mathbb {N} }$表示，就是自然数。[1] 后续函数在超运算的格尔泽戈茨兹克层级中属于第0级，可以构建加法、乘法、幂、迭代冪次等。1986年，一项涉及超运算模式推广的研究调查了后继函数。[2]

后继函数是用于描述递归函数可计算性的初等函数之一。

• 后继序数
• 后继基数
• 增值和减值操作符
• 序列

• Paul R. Halmos. . Nostrand. 1968.