最大的貢獻是發現了邏輯體係，並用它來組織知識，發現新結果。驗證結果也有完善的邏輯方法。

來源: QualityWithoutName 於 2023-10-04 11:56:25 [] [博客] [舊帖] [給我悄悄話] 閱讀數 : (0 bytes)
請您先登陸，再發跟帖！