自然數的性質
1、有序性。自然數的有序性是指，自然數可以從0開始，不重復也不遺漏地排成一個數列：0，1，2，3，…這個數列叫自然數列。一個集合的元素假設能與自然數列或者自然數列的一部分建立一一對應，我們就說這個集合是可數的，否則就說它是不可數的。
2、無限性。自然數集是一個無窮集合，自然數列可以無止境地寫下去。
3、傳遞性：設n1，n2，n3都是自然數，若n1>n2，n2>n3，那么n1>n3。
4、三岐性：對于任意兩個自然數n1，n2，有且只有下列三種關系之一：n1>n2，n1=n2或n1<n2。
5、最小數原理：自然數集合的任一非空子集中必有最小的數。具備性質3、4的數集稱為線性序集。容易看出，有理數集、實數集都是線性序集。但是這兩個數集都不具備性質5，例如所有形如nm（m>n，m，n都是自然數）的數組成的集合是有理數集的非空子集，這個集合就沒有最小數；開區間（0，1）是實數集合的非空子集，它也沒有最小數。