命题逻辑完备性定理证明

参考：《数学家的逻辑》

命题逻辑中包含了对字符串的一系列操作，命题逻辑的完备性是指在逻辑语义上任意重言式（即定理）一定可以被字符串的操作表示出来。

定义

1. 字符集: { ¬ , → , ( , ) , p 1 , p 2 , p 3 , ⋯   } \{\neg,\rightarrow,(,),p_1,p_2,p_3,\cdots\} { ¬,→,(,),p1​,p2​,p3​,⋯}

   1. 字符集是无穷集

2. $wf.(\text{well-formed formula})$集合:所有合法字符串集。合法的字符串满足如下性质：

   1. $\forall i,p_i\in wf.$
   2. $\forall A,B$，$(\neg A)\in wf.,(A\to B)\in wf.$
   3. 所有的$wf.$均由1. 2.两条性质产生。

3. 公理模式：

   1. $(L_1)$ $(A\to (B\to A))$
   2. $(L_2)$ $((A\to (B\to C))\to ((A\to B)\to (A\to C)))$
   3. $(L_3)$ $(((\neg A)\to (\neg B))\to (B\to A))$
   4. 上述三条为公理模式，带入任意$wf.$中字符串形成一条公理，因此公理有无数条。不妨将所有公理构成的集合记为$S_0$。

4. 演绎规则：若$A,(A\to B)$，则$B$.

   1. 上面四条定义构成了形式系统$L$，$S_0$是该形式系统内的公理集合。

5. 证明：一个$wf.$中序列：$A_1,A_2,\cdots ,A_n$。满足如下条件：

   1. 有限长。
   2. $\forall i,$