自然数是指 用以计量事物的件数或表示事物次序的数，即用数码0,1,2,3,4……所表示的数。自然数具有有序性和无限性，由0开始，一个接一个，组成一个无穷的集体，即指非负整数。
在不同的数学体系中，自然数的定义可以有所不同。例如，在皮亚诺公理中，0被包括在自然数内，因此自然数集合是{0,1,2,3,...}。而在一些数学体系中，自然数仅指正整数集合，即{1,2,3,...}。但通常情况下，自然数是指非负整数集合，包括0和所有正整数。
自然数是数学中的一个基础部分，许多数学概念和定理，如加法、乘法和幂运算等，都是基于自然数定义的。