先继续关注数学知识吧。

如果你想要一个简洁、漂亮且功能强大的很好的数学上的证明范例的话，你可以翻回到第三章的末尾事实上那是我所知道的最好的范例。在那一部分有一段讨论表明，有限的质数组成的列表不可能是完整的（或者，换句话说，质数有无限多个）。正如“巴拿赫–塔斯基分球悖论”，你永远无法通过纯粹的洞察力、直觉或“超感官知觉”来证明这个结论。它需要严格的证明。

举一个更令人吃惊的例子吧。从自然数里随机选择一个数，它不能被任意的平方数（1除外）整除的概率是多少呢？答案是很明确的，6/π2，或者大约。这里的π就是你在几何课上学到的圆周率那个约等于的数。像这样的数并没有什么值得人们感兴趣的地方，但π就这样突然跳到了你的面前。为什么圆的周长与直径的比居然突然出现在这样一个算术问题里呢？

证明6/π2是正确的答案，比证明质数有无限多个还要困难一些，但比证明“巴拿赫–塔斯基分球悖论”要简单一些。为了满足那些对此类内容感兴趣（而且还能良好掌握大学微积分知识）的人，我已经将自己的证明过程发布到了网上，网址是：。

纯粹的逻辑（2）

关于大肥猪的冷笑话

在数学里，纯粹的逻辑推理可以发现伟大的真理。在其他领域也是如此。例如，纯粹的逻辑无须补充任何证据可以告知我世界已经陷入重度空气污染中了。这听起来或许不足为奇。诚然，人们都不喜欢污染，但这并不能证明我们已经造成了太严重的污染。毕竟，人们都不喜欢收到账单，这也不能证明我们已经支付过太多账单了。污染，就像埋单一样，是那些我们珍视的事物（例如电力、现代建筑和乘飞机旅行）所附带的令人不愉快的副产品。确切的数目当然不会为零。