自然数（参考ISO 80000-2和ISO 2382中所采用的定义）
指非负整数为免歧义有时也直接以非负整数代替自然数使用。
数学中代表以自然数组成的集合。
自然数集是一个可数的，无上界的无穷集合。
非零自然数即指正整数。
自然数可用于计数（如：桌子上有“三”个苹果）和定序（如：国内“第三”大城市）。
0是自然数；
每一个确定的自然数a，都有一个确定的后继数a' ，a' 也是自然数；
对于每个自然数b、c，b=c若且唯若b的后继数=c的后继数；
0不是任何自然数的后继数；
任意关于自然数的命题，如果证明：它对自然数0是真的，且假定它对自然数a为真时，可以证明对a' 也真。那么，命题对所有自然数都真。