祛魅《几何原本》｜何以祛《几何原本》的演绎和公理化之魅？中国象棋+元素周期表

人类是讲故事的动物。结论都是先得的，或者通过经验观察或者通过直接。然后需要“故事”来说服自己或同伴相信。这个故事就是论证，便是所谓“推论”。数学或者其基础—逻辑只是讲故事都工具。数学或者逻辑不能获得“新知”，只是变换形式尝试得到有助于我们得到新知的形式，也就是说，数学或者逻辑只是同义反复，没有新东西。新东西靠猜，靠看。新东西来自归纳来自基于经验观察可控实验后的归纳猜测。
至于数学或者逻辑，最后的基石都来自“隐喻”，也就是基于我们身体和生存环境的现实。例如，我们是单个实体，不是流体，因此我们就有分立的自然数而不是连续统的实数。这个可以参考莱考夫的专著《数学从哪里来》。
所谓推理，逻辑，理性并没有什么神圣的。这只是人类因生存演化得来技能罢了。如果换一种流体或啫喱装的智慧生命，数学就不是我们的这样了。数学不是先验的，而是经验世界的，只是我们“讲故事”的工具。