素數(shù)就是質(zhì)數(shù)，有無限個，是指在大于1的自然數(shù)中，除了1和它本身以外不再有其他因數(shù)的自然數(shù)。素數(shù)是大于1的自然數(shù)，除了1和它自身外，不能被其他自然數(shù)整除的數(shù)叫做質(zhì)數(shù)，否則稱為合數(shù)。

質(zhì)數(shù)的個數(shù)是無窮的。歐幾里得的《幾何原本》中有一個經(jīng)典的證明。它使用了證明常用的方法：反證法。具體證明如下：假設(shè)質(zhì)數(shù)只有有限的n個，從小到大依次排列為p1，p2，……，pn，設(shè)N=p1×p2×……×pn，那么，N+1是素數(shù)或者不是素數(shù)。

如果N+1為素數(shù)，則N+1要大于p1，p2，……，pn，所以它不在那些假設(shè)的素數(shù)集合中。

如果N+1為合數(shù)，因為任何一個合數(shù)都可以分解為幾個素數(shù)的積；而N和N+1的最大公約數(shù)是1，所以不可能被p1，p2，……，pn整除，所以該合數(shù)分解得到的素因數(shù)肯定不在假設(shè)的素數(shù)集合中。因此無論該數(shù)是素數(shù)還是合數(shù)，都意味著在假設(shè)的有限個素數(shù)之外還存在著其他素數(shù)。所以原先的假設(shè)不成立。也就是說，素數(shù)有無窮多個。

在一個大于1的數(shù)a和它的2倍之間（即區(qū)間（a, 2a]中）必存在至少一個素數(shù)。