他的 first order logic 是亚里斯多徳三段论之后最伟大的发明。

所有跟帖: 

FOL确是是关于objects 之间关系的逻辑。 -QualityWithoutName- 给 QualityWithoutName 发送悄悄话 QualityWithoutName 的博客首页 (0 bytes) () 03/03/2026 postreply 20:31:17

请您先登陆,再发跟帖!