自然数是一切等价有限集合共同特征的标记。

但相减和自然数相除的结果未必都是自然数，所以减法和除法运算在自然数集中并不总是成立的。自然数是用以计量事物的件数或表示事物次序的数。即用数码0，1，2，3，4，……所表示的数。表示物体个数的数叫自然数，自然数由0开始(包括0)，一个接一个，组成一个无穷的集体。