否定的力量有时大于肯定

《几何原本》证明素数有无穷多个——不是靠列举更多素数（永远列不完），而是靠"假设有限就会矛盾"。这与科学哲学中的"可证伪性"形成共振：一个理论的力量不在于它能解释多少正面案例，而在于它能否承受住反面的攻击。经得起最严厉否定的结论，才是最可靠的结论。