質數只有有限個?

在2017年12月26日，美國田納西州一個參與"GIMPS(網際網路梅森質數大搜索)"計畫的工程師Jonasan Pace，發現了人類截至目前為止所知道的最大質數。其實早在2千多年以前，古希臘人就已經掌握了質數的概念，並將他們對此一概念的知識記載在不朽的經典<幾何原本>裡面。而透過使用"歸謬法(Reductio ad absurdum)"這個強而有力的數學工具，我們可以清晰的證明出質數的數量並非有限，而是有無窮多個。