结构

设 为一阶逻辑的语言。假设语言 具有以下非逻辑符号集

1. 是 的常数符号集。（这些是零元函数符号。）

2. 是 的谓词符号集，并且对于每个 ， 是 的元数。 中的符号也称为语言 的关系符号。

3. 是 的函数符号集，并且对于每个 ， 是 的元数。 中的符号也称为语言 的运算符号。

4. 是 的全称量词符号。

语言 的结构是一个元组 , , ，其中 是一个集合（称为 的基础集），并且满足以下条件

1. 对于每个 ，，

2. 对于每个 ，，

3. 对于每个 ，。