最大的贡献是发现了逻辑体系，并用它来组织知识，发现新结果。验证结果也有完善的逻辑方法。

来源: 于 2023-10-04 11:56:25 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次