内容:素数有无限个.
证明:假设素数没有无限个.
设它们为p1.p2.p3.p4.……pn.设素数集合为s
不妨再设实数a=p1*p2*p3*p4*……*pn+1
则a不属于s，因此a为合数，且a不能被任何素数整除。
又由于合数a必然能分解出质因子，设其为p，则p必然为素数，且p能整除a。
这与a不能被任何素数整除矛盾。所以假设不成立，素数有无限个。