他的 first order logic 是亚里斯多徳三段论之后最伟大的发明。
所有跟帖:
•
FOL确是是关于objects 之间关系的逻辑。
-QualityWithoutName-
♂
(0 bytes)
()
03/03/2026 postreply
20:31:17