The Syntax Perfectibility Problem of Proposition Logic

• 命题逻辑语法完全性问题