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