他的 first order logic 是亞裏斯多徳三段論之後最偉大的發明。
所有跟帖:
•
FOL確是是關於objects 之間關係的邏輯。
-QualityWithoutName-
♂
(0 bytes)
()
03/03/2026 postreply
20:31:17