質數是大于1的自然數中，除了1和它本身以外沒有其他因數的數。一個大于1的自然數，除了1和它自身外，不被其他自然數整除，就被稱為質數，否則被稱為合數。事實上，質數的個數是無窮的，這個結論可以在歐幾里得的《幾何原本》中找到一個經典的證明。