因为现在 zhihu 要绑手机才能回答，所以还是写自己 blog 上吧。

对「为什么会有数学家反对对无穷集合使用排中律 」这个问题，我有一个胡思乱想的回答：

房间里的小明如果不是男生，那么他一定是女生。

其实也不一定。小明是个物品。

我觉得人类智慧的最大秘密就是 否定。否定一定要当心使用。常见的否定是限定在「同类别」的事物中。

但是由于自然语言的结构性缺陷，一些否定就成了谬论。

比如，如果你批评国家政策，就是不爱国。

喜爱的反面是憎恨？其实喜爱的反面是漠不关心。

The opposite of love is not hate but apathy。

所谓 those who are heartless, once cared too much