令是在命题演算形式系统中增加如下命题公式作为公理得到的形式系统： 证明：中存在公式使得。