我的理解是，定理是建立在公理系统上的真理。

虽然公理系统之间或许存在着矛盾。

（当然现在对于证明也有了不同的看法，因为大家都承认的证明只能说明迄今为止正确，不能保证没有错误，所以只能被称为概率意义上的真理，虽然对于大定理来说基本能保证是正确的。）

在这篇文章里，从欧几何到非欧几何的推广，突然推出真理大厦的坍塌，大概不能算是严谨的吧。这可能也是王家妹妹的意思。

谢谢你介绍此书。等你的下文。