completeness of axiom systems of propositional calculus

• 命题演算公理系统的完备性