论具有真值谓词的完全解释形式语言的构造

我们将通过通常的递归方法构造语言 $\mathcal L$ 的句子哥德尔数集合 $D$ 的子集。该语言由完全解释的形式语言 $L$（称为 MA 语言）的句子以及包含一元谓词字母 $T$ 的句子构成。从 $D$ 的已构造子集类中，我们通过超穷递归方法提取一个集合 $U$。将哥德尔数属于 $U$ 的句子解释为真的，其否定解释为假的。这些句子共同构成一个 MA 语言。它是 $\mathcal L$ 的子语言，以 $L$ 为其子语言，且 $T$ 是其真值谓词。