是。自然数是表示物体个数的数，用以计量事物的件数或表示事物次序，即用数码0，1，2，3，4，……所表示的数。自然数有有序性、无限性的性质，由0开始，一个接一个，组成一个无穷的集体。自然数分为偶数和奇数，合数和质数等。

自然数是一切等价有限***共同特征的标记。但相减和相除的结果未必都是自然数，所以减法和除法运算在自然数集中并不总是成立的。自然数集有加法和乘法运算，两个自然数相加或相乘的结果仍为自然数，也可以作减法或除法，但相减和相除的结果未必都是自然数，所以减法和除法运算在自然数集中并不是总能成立的。自然数是人们认识的所有数中最基本的一类，为了使数的系统有严密的逻辑基础，19世纪的数学家建立了自然数的两种等价的理论：自然数的序数理论和基数理论，使自然数的概念、运算和有关性质得到严格的论述。