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

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

所有跟帖： 

• 這個，公理系統就足够了。事實上多数數學家不會對邏輯學特别感興趣，除非是專門研究這個的。 -中间小谢- ♂ (102 bytes) () 11/05/2023 postreply 11:51:33

• 公理系统是一种特殊的形式系统 -露重烟微- ♀ (322 bytes) () 11/05/2023 postreply 12:16:16