##### 自然数 - 自然数 - **自然数** $\mathbb{N}$ 是用于计数和排序的数字, 即作为[[集合基数|基数]]和[[集合序数|序数]], 也是[[整数|非负整数]]. 自然数可以从集合[[自然数构造|构造]], 用[[皮亚诺公理]]进行公理化, 并且[[递归]]定义出[[自然数运算]]和[[线性序|自然数序]]. 自然数集是一个[[可数集|可数的]], [[无限集|无限的]], [[良序关系|良序的]], [[有界集|无上界的]], [[半环]]代数结构的[[数集]] - $\mathbb{N}=\{0,1,2,\dots\}$ - $\mathbb{N}^+=\{1,2,3,\dots\}$