用對形式邏輯,僅表明語言陳述符合邏輯。除此之外不證明任正確性。

來源: 2023-12-05 22:58:36 [博客] [舊帖] [給我悄悄話] 本文已被閱讀: