他的 first order logic 是亞裏斯多徳三段論之後最偉大的發明。

所有跟帖: 

FOL確是是關於objects 之間關係的邏輯。 -QualityWithoutName- 給 QualityWithoutName 發送悄悄話 QualityWithoutName 的博客首頁 (0 bytes) () 03/03/2026 postreply 20:31:17

請您先登陸,再發跟帖!