句法规则体系
基于1个网页-相关网页
system of syntactic rule
语法规则系统
以上为机器翻译结果，长、整句建议使用 人工翻译 。
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
应用推荐
模块上移
模块下移
不移动