1至20自然数中质数有：2、3、5、7、11、13、17、19共8个。质数是指在大于1的自然数中，除了1和它本身以外不再有其他因数的自然数。质数的个数是无穷的。欧几里得的《几何原本》中有一个经典的证明。它使用了证明常用的方法：反证法。自然数是指用以计量事物的件数或表示事物次序的数。即用数码0，1，2，3，4……所表示的数。自然数由0开始，一个接一个，组成一个无穷的集体。自然数有有序性，无限性。分为偶数和奇数，合数和质数等。
