用以计量事物的件数或表示事物次序的数.即用数码1,2,3,4,……所表示的数.自然数由1开始,一个接一个,组成一个无穷集合.自然数集有加法和乘法运算,两个自然数相加或相乘的结果仍为自然数,也可以作减法或除法,但相减和相除的结果未必都是自然数,所以减法和除法运算在自然数集中并不是总能成立的.自然数是人们认识的所有数中最基本的一类.为了使数的系统有严密的逻辑基础,19世纪的数学家建立了自然数的两种等价的理论——自然数的序数理论和基数理论,使自然数的概念、运算和有关性质得到严格的论述.