0既不是质数也不是合数。质数又称素数。一个大于1的自然数，除了1和它自身外，不能被其他自然数整除的数叫做质数；否则称为合数。在欧几里得的《几何原本》中有一个经典的证明。

质数具有许多独特的性质：质数p的约数只有两个：1和p；初等数学基本定理：任一大于1的自然数，要么本身是质数，要么可以分解为几个质数之积，且这种分解是唯一的；质数的个数是无限的。