·2,447,543篇论文数据，部分数据来源于NoteExpress
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
应用推荐
模块上移
模块下移
不移动