形式邏輯不是用來答題的，它是用來保證在一個形式係統裏，遵循什麽樣的原則，您推導的結果永遠是對的。

比如是什麽保證了在特定數學係統裏1+1恒等於2? 平麵幾何裏三角形內角和永為180度？是因為找不出反例嗎？

所有跟帖： 

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

• 公理係統是一種特殊的形式係統 -露重煙微- ♀ (322 bytes) () 11/05/2023 postreply 12:16:16