27可以被3和9整除，所以不是质数，是合数，质数又称素数。一个大于1的自然数，除了1和它自身外，不能被其他自然数整除的数叫做质数；否则称为合数。

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

具体证明如下：假设质数只有有限的n个，从小到大依次排列为p1，p2，……，pn，设N=p1×p2×……×pn，那么，是素数或者不是素数。

如果为素数，则要大于p1，p2，……，pn，所以它不在那些假设的素数集合中。