数理逻辑作为哲学的一个分支没有理由不能AI化。

来源: 2025-09-29 18:07:22 [博客] [旧帖] [给我悄悄话] 本文已被阅读: