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

来源: 2026-03-03 20:27:27 [博客] [旧帖] [给我悄悄话] 本文已被阅读: