一些定义 数零~0增长运算，n++代表 n 的后继1是数0++，2是数（0++）++，3是数（（0++）++）++，…1 = 0++，2 = 1++，3 = 2++，…自然数集 N \mathbb N由 0 和每个可由 0 经增长而得到的所组成的 公理内容 图片中分别为公理2.1~2.5公理2.3是为了避免“回归事件（循环）”公理2.4解决了增长发生回归但不回归到0的异常情况 公理2.