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