最小的自然數是0。
自然數集是全體非負整陣列成的集合，常用 N 來表示。自然數有無窮無盡的個數。自然數由0開始，一個接一個，組成一個無窮的集體。因此，最小的自然數是0。整數包括自然數，所以自然數一定是整數，且一定是非負整數。
擴充套件資料：
自然數用以計量事物的件數或表示事物次序的數。即用數碼0，1，2，3，4，……所表示的數。表示物體個數的數叫自然數，自然數由0開始，一個接一個，組成一個無窮的集體。自然數有有序性，無限性。分為偶數和奇數，合數和質數等。
所有整數不是奇數（單數），就是偶數（雙數）。若某數是2的倍數，它就是偶數（雙數），可表示為2n；若非，它就是奇數（單數），可表示為2n+1（n為整數），即奇數（單數）除以二的餘數是一。
關於偶數和奇數，有下面的性質：
（1）兩個連續整數中必是一個奇數一個偶數；
（2）奇數與奇數的和或差是偶數；偶數與奇數的和或差是奇數；任意多個偶數的和都是偶數；單數個奇數的和是奇數；雙數個奇數的和是偶數；
（3）兩個奇（偶）數的和或差是偶數；一個偶數與一個奇數的和或差一定是奇數；
（4）除2外所有的正偶數均為合數；
（5）相鄰偶數最大公約數為2，最小公倍數為它們乘積的一半；
（6）奇數與奇數的積是奇數；偶數與偶數的積是偶數；奇數與偶數的積是偶數；
（7） 偶數的個位一定是0、2、4、6或8；奇數的個位一定是1、3、5、7或9；
（8）任何一個奇數都不等於任何一個偶數；若干個整數的連乘積，如果其中有一個偶數，乘積必然是偶數；
（9）偶數的平方被4整除，奇數的平方被8除餘1。
質數的個數是無窮的。歐幾里得的《幾何原本》中有一個經典的證明。它使用了證明常用的方法：反證法。具體證明如下：假設質數只有有限的n個，從小到大依次排列為p1，p2，……，pn，設N=p1×p2×……×pn，那麼， 是素數或者不是素數。如果 為素數，則 要大於p1，p2，……，pn，所以它不在那些假設的素數集合中。
1、如果 為合數，因為任何一個合數都可以分解為幾個素數的積；而N和N+1的最大公約數是1，所以不可能被p1，p2，……，pn整除，所以該合數分解得到的素因數肯定不在假設的素數集合中。因此無論該數是素數還是合數，都意味著在假設的有限個素數之外還存在著其他素數。所以原先的假設不成立。也就是說，素數有無窮多個。
2、其他數學家給出了一些不同的證明。尤拉利用黎曼函式證明了全部素數的倒數之和是發散的，恩斯特·庫默的證明更為簡潔，哈里·弗斯滕伯格則用拓撲學加以證明。
質數具有許多獨特的性質：
（1）質數p的約數只有兩個：1和p。
（2）初等數學基本定理：任一大於1的自然數，要麼本身是質數，要麼可以分解為幾個質數之積，且這種分解是唯一的。
（3）質數的個數是無限的。
（4）質數的個數公式 是不減函式。
（5）若n為正整數，在 到 之間至少有一個質數。
（6）若n為大於或等於2的正整數，在n到 之間至少有一個質數。
（7）若質數p為不超過n（ ）的最大質數，則 。
（8）所有大於10的質數中，個位數只有1,3,7,9。
最小的自然數是0。
自然數集是全體非負整陣列成的集合，常用 N 來表示。自然數有無窮無盡的個數。自然數由0開始，一個接一個，組成一個無窮的集體。因此，最小的自然數是0。整數包括自然數，所以自然數一定是整數，且一定是非負整數。
擴充套件資料：
自然數用以計量事物的件數或表示事物次序的數。即用數碼0，1，2，3，4，……所表示的數。表示物體個數的數叫自然數，自然數由0開始，一個接一個，組成一個無窮的集體。自然數有有序性，無限性。分為偶數和奇數，合數和質數等。
所有整數不是奇數（單數），就是偶數（雙數）。若某數是2的倍數，它就是偶數（雙數），可表示為2n；若非，它就是奇數（單數），可表示為2n+1（n為整數），即奇數（單數）除以二的餘數是一。
關於偶數和奇數，有下面的性質：
（1）兩個連續整數中必是一個奇數一個偶數；
（2）奇數與奇數的和或差是偶數；偶數與奇數的和或差是奇數；任意多個偶數的和都是偶數；單數個奇數的和是奇數；雙數個奇數的和是偶數；
（3）兩個奇（偶）數的和或差是偶數；一個偶數與一個奇數的和或差一定是奇數；
（4）除2外所有的正偶數均為合數；
（5）相鄰偶數最大公約數為2，最小公倍數為它們乘積的一半；
（6）奇數與奇數的積是奇數；偶數與偶數的積是偶數；奇數與偶數的積是偶數；
（7） 偶數的個位一定是0、2、4、6或8；奇數的個位一定是1、3、5、7或9；
（8）任何一個奇數都不等於任何一個偶數；若干個整數的連乘積，如果其中有一個偶數，乘積必然是偶數；
（9）偶數的平方被4整除，奇數的平方被8除餘1。
質數的個數是無窮的。歐幾里得的《幾何原本》中有一個經典的證明。它使用了證明常用的方法：反證法。具體證明如下：假設質數只有有限的n個，從小到大依次排列為p1，p2，……，pn，設N=p1×p2×……×pn，那麼， 是素數或者不是素數。如果 為素數，則 要大於p1，p2，……，pn，所以它不在那些假設的素數集合中。
1、如果 為合數，因為任何一個合數都可以分解為幾個素數的積；而N和N+1的最大公約數是1，所以不可能被p1，p2，……，pn整除，所以該合數分解得到的素因數肯定不在假設的素數集合中。因此無論該數是素數還是合數，都意味著在假設的有限個素數之外還存在著其他素數。所以原先的假設不成立。也就是說，素數有無窮多個。
2、其他數學家給出了一些不同的證明。尤拉利用黎曼函式證明了全部素數的倒數之和是發散的，恩斯特·庫默的證明更為簡潔，哈里·弗斯滕伯格則用拓撲學加以證明。
質數具有許多獨特的性質：
（1）質數p的約數只有兩個：1和p。
（2）初等數學基本定理：任一大於1的自然數，要麼本身是質數，要麼可以分解為幾個質數之積，且這種分解是唯一的。
（3）質數的個數是無限的。
（4）質數的個數公式 是不減函式。
（5）若n為正整數，在 到 之間至少有一個質數。
（6）若n為大於或等於2的正整數，在n到 之間至少有一個質數。
（7）若質數p為不超過n（ ）的最大質數，則 。
（8）所有大於10的質數中，個位數只有1,3,7,9。