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

来源: QualityWithoutName 于 2023-10-04 11:56:25 [] [博客] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
请您先登陆，再发跟帖！