「質數」指:一個大於1的自然數,且除了1和它本身外,不能被其他自然數整除的數。換句話說,就是該數除了1和它本身以外,不再有其他的因數。古希臘數學家、幾何之父歐幾里德,約在西元前300年左右,就運用了反證法證明「質數有無限多個」,這就是數論中的歐幾里德定理。