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

來源: 於 2023-11-05 11:45:53 [舊帖] [給我悄悄話] 本文已被閱讀：次

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