And I prove the formal axiomatic system of prepositional logic that is made up of axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

youdao

And I prove the formal axiomatic system of prepositional logic that is made up of axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

youdao