是的,三個前提以上的categorical logic 已經很難了。

來源: 2023-11-05 22:20:00 [舊帖] [給我悄悄話] 本文已被閱讀: