自然数的定义包括0，自然数是指用以计量事物的件数或表示事物次序的数。即用数码0，1，2，3，4等所表示的数。自然数由0开始，一个接一个，组成一个无穷的集体。自然数有有序性，无限性。分为偶数和奇数，合数和质数等。但自然数相减和相除的结果未必都是自然数，所以减法和除法运算在自然数集中并不总是成立的。自然数是有序的，自然数可以从0开始，不重复也不遗漏地排成一个数列：0，1，2，3等这个数列叫自然数列。一个集合的元素如果能与自然数列或者自然数列的一部分建立一一对应，就说这个集合是可数的，否则就说它是不可数的。