用对形式逻辑，仅表明语言陈述符合逻辑。除此之外不证明任正确性。

所有跟帖： 

• 数字和运算符本身没有意义，所以纯从符号解析现实纯属望文生义。但形式语言的“保真”性和应用“保真”性的各学科却充满意义。 -露重烟微- ♀ (0 bytes) () 12/06/2023 postreply 15:09:00