【毕导】这个视频里说的都是真的，但你却永远无法证明

1. **假设**：

- 质数的数量是有限的。

- 这些质数是p1，p2，p3，...，pn。

2. **定义**：

- 质数：一个大于1的自然数，除了1和它自己以外，不能被其他自然数整除的数。

- 合数：一个大于1的自然数，除了1和它自己以外，还能被其他自然数整除的数。

3. **公理或事实**：

- 凡是合数都能用质数相乘的形式表示出来。

- 除0和1以外，自然数不是合数就是质数。

4. **推理**：

- 我们可以将这些质数相乘得到一个自然数N，即N = p1 * p2 * p3 * ... * pn。

- 考虑一个新的自然数M = N + 1。

- 根据我们的假设，M 不能是质数，而是合数。

- 那么M必然可以被有限数量的质数当中的某质数整除。

- 但是，如果我们用某一质数除M时，总是会有余数1。

- 那么必然存在有限数量的质数之外的质数使M整除。否则前提M是合数不成立。

5. **结论**：

- 我们假设的质数的数量是有限的是错误的，因此质数是无限的。