数学假设（二） (3-3)

但是，在核弹问题中，其实我们已经做了两次跳转了：首先已经没有苏联了，但是我们依旧能假设苏联存在，其次，苏联存在的时候是有核武器的（至少对于我们关心的那个时间节点），但是我们假设没有。而这并不会受到前述的「根本就没他娘的正十七面体」性质的陈述的影响。

这也就是最开头那个「老张不喜欢苹果和香蕉」的问题：我们默认了我们想要谈论的东西是确定并且有意义的，然后我们会自觉顺着它去想问题。我们有脑补的方向，就像是 CPU 有 branch predictor[2]一样。

不过，话又说回来了，考虑到数学也不是铁板一块，我们完全可以说，在二维空间中，一个正十七面体就是一个正十七边形，而显然正十七边形是十七边不是十八边，因此如何如何。——这也是一种反驳的思路，但是接不接受就另说了。

参考：

1. 这里处理得随便了一些，相当于是在我们将「不喜欢 X」理解成「对于任意的 x 属于 X，……不喜欢 x」。这种情况下，「不喜欢 A」并且「不喜欢 B」就是「不喜欢 (A 和 B 的并集)」——但是实际上很多时候我们是带 qualification 的，比如说「大多数」「通常」「一般」。

2. _predictor

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。