我们可以使用反证法来证明素数无穷。首先,假设素数有限,那么我们可以把所有的素数列出来,记作$p_1, p_2, p_3,...,p_n$。
接下来,我们考虑构造一个新的数$P=p_1\times p_2\times p_3\times...\times p_n+1$。由于$P$是一个整数,并且大于每一个素数,所以$P$一定不是任何一个素数。但是,由于$P$是一个质数的乘积再加一,所以$P$不能被任何一个素数整除。这意味着$P$一定是一个新的素数,与假设素数有限矛盾。因此,我们得出结论:素数是无限的。