是的,三个前提以上的categorical logic 已经很难了。

来源: 2023-11-05 22:20:00 [旧帖] [给我悄悄话] 本文已被阅读: