f3f4

一阶语言的字母表，由以下几部分组成： 前五部分是一阶语言所共有的符号，记作A，第六部分记作S，称为符号集(symbol set)，决定了一个一阶语言. (T1) 每个变量是一个S的项； (T2) 每个常量是一个S的项； 下面给出S-公式的定义. 以下(F1F2)左边内容表示S-项，(F3F4)左边内容表示既得的S公式，右边都表示由左边生成的S-公式. 接下来我们将看到，无论是term还是formula，都有唯一的生成路径。先给出几个引理。 引理1. 任意两个term(或formula)互不为真前缀