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

所有跟帖： 

• 數字和運算符本身沒有意義，所以純從符號解析現實純屬望文生義。但形式語言的“保真”性和應用“保真”性的各學科卻充滿意義。 -露重煙微- ♀ (0 bytes) () 12/06/2023 postreply 15:09:00