定义实际上是递归定理在部分有序集 上的一个应用。然而，一些文献倾向于使用只在自然数集合上有定义的狭义递归定理：先将 临时想象为固定的，在 上应用递归以定义一元函数“ ”，然后将这些一元函数组合在一起形成完整的二元运算。早在 1854 年，德国数学家理查德·戴德金就发展了这种递归定义，并在接下来的几十年中扩展了这个定义。他利用数学归纳法证明了交换律、结合律等性质。
整数的加法.整数最简单的理解就是由绝对值（一个自然数）和符号（一般情况下，正或负）组成。整数零是一个特殊情况：它既不是正