形式逻辑不是用来答题的，它是用来保证在一个形式系统里，遵循什么样的原则，您推导的结果永远是对的。

来源: 于 2023-11-05 11:45:53 [旧帖] [给我悄悄话] 本文已被阅读：次

比如是什么保证了在特定数学系统里1+1恒等于2? 平面几何里三角形内角和永为180度？是因为找不出反例吗？