数理逻辑3 -- 形式数论15

上节给出了19类哥德尔构造的递归函数和关系，这节还有几个，然后水到渠成，哥德尔不完备定理呼之欲出。

定义3.15.1：一阶理论K包含原始递归（或，递归）公理集，当且仅当以下关系$PrAx$是原始递归（或，递归）：

$$PrAx(y)：y是K中某个适当公理（Proper Axiom）的哥德尔数$$

根据以上定义，不难证明，一阶理论$S$是包含原始递归公里集的。

命题3.28：一阶理论K含有原始递归（或，递归）词汇集，以及原始递归（或，递归）公理集，那么以下关系是原始递归（或，递归）：
20.
$Ax(y)$：$y$是K中某个公理的哥德尔数，即

$$Lax(y) \lor PrAx(y)$$
21.
$Prf(y)$： $y$是K中的一个证明（好式子的序列），即 $$(\exists u)_{u<y}(\exists v)_{v<y}(\exists z)_{z<y}(\exists w)_{w<y}\Big[ \big( y=2^w \land Ax(w) \big) \lor \\ \big( Prf(u) \land Fml((u)_w) \land y=u \ast 2^v \land Gen((u)_w ,v) \big) \lor \\ \big( Prf(u) \land Fml((u)_z) \land Fml((u)_w) \land y=u \ast 2^v \land MP((u)_z, (u)_w, v) \big) \lor \\ \big( Prf(u) \land y=u \ast 2^v \land Ax(v) \big)\Big]$$
22.
$Pf(y, x)$：传说中的，与对角线函数配合使用来证明不完备定理。它表示 $x$由 $y$推导得出，即

$$Prf(y) \land x = (y)_{lh(y) \overset{.}- 1}$$

哥德尔证明了“数论中的递归函数与其在PA系统中的表达性是等价的”，以下命题和推论详细说明了这点，具体证明就不写了。

命题3.29：一阶理论K是含等式理论，且包含常量符号$0$和函数符号$f_1^1$，并且也包含原始递归（或，递归）的词汇集和公理集。假设K还满足：

(∗<