2是最小的质数，也是唯一的一个既是偶数又是质数的数，也就是说，除了2以外，质数都是奇数。一个大于1的自然数，除了1和它自身外，不能被其他自然数整除的数叫做质数；否则称为合数。质数的个数是无穷的。

质数又称素数。一个大于1的自然数，除了1和它自身外，不能被其他自然数整除的数叫做质数；否则称为合数（规定1既不是质数也不是合数）。

质数的个数是无穷的。欧几里得的《几何原本》中有一个经典的证明。它使用了证明常用的方法：反证法。

具体证明如下：假设质数只有有限的n个，从小到大依次排列为p1，p2，……，pn，设N=p1×p2×……×pn。如果n+1为素数，则n+1要大于p1，p2，……，pn，所以它不在那些假设的素数集合中。

如果N+1为合数，因为任何一个合数都可以分解为几个素数的积；而N和N+1的最大公约数是1，所以不可能被p1，p2，……，pn整除，所以该合数分解得到的素因数肯定不在假设的素数集合中。

因此无论该数是素数还是合数，都意味着在假设的有限个素数之外还存在着其他素数。所以原先的假设不成立。也就是说，素数有无穷多个。

1、质数p的约数只有两个：1和p。

2、算术基本定理：任一大于1的自然数，要么本身是质数，要么可以分解为几个质数之积，且这种分解是唯一的。

3、质数的个数是无限的。

4、质数的个数公式π（n）是不减函数。

5、若n为正整数，在n2到（n+1）2之间至少有一个质数。

6、若n为大于或等于2的正整数，在n到n！之间至少有一个质数。

7、所有大于10的质数中，个位数只有1,3,7,9。

8、在一个大于1的数a和它的2倍之间（即区间（a,2a]中）必存在至少一个素数。

9、存在任意长度的素数等差数列。

10、一个偶数可以写成两个合数之和，其中每一个合数都最多只有9个质因数。（挪威数学家布朗，1920年）

11、一个偶数必定可以写成一个质数加上一个合成数，其中合数的因子个数有上界。（瑞尼，1948年）

12、一个偶数必定可以写成一个质数加上一个最多由5个因子所组成的合成数。后来，有人简称这结果为（1+5）（中国潘承洞，1968年）

13、一个充分大偶数必定可以写成一个素数加上一个最多由2个质因子所组成的合成数。简称为（1+2）