結構

設 為一階邏輯的語言。假設語言 具有以下非邏輯符號集

1. 是 的常數符號集。（這些是零元函式符號。）

2. 是 的謂詞符號集，並且對於每個 ， 是 的元數。 中的符號也稱為語言 的關係符號。

3. 是 的函式符號集，並且對於每個 ， 是 的元數。 中的符號也稱為語言 的運算子號。

4. 是 的全稱量詞符號。

語言 的結構是一個元組 , , ，其中 是一個集合（稱為 的基礎集），並且滿足以下條件

1. 對於每個 ，，

2. 對於每個 ，，

3. 對於每個 ，。