第2章-从头开始：自然数 2.1-Peano 公理

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

>>阅读原文<<