一階語言

一階語言指的是邏輯學用語。用來表述結構中合式公式的形式語言。它是結構與一階謂詞邏輯(即一階謂詞演算)相結合的產物，通常用L表示,因此又簡稱為L語言。它包括下列幾個組成部分:：個體常元：表示結構L中的元素：如元素為特指個體a_k(k > 0)，則稱它為語言中的特指常元；個體變元：用來表示任一個體常元的符號。一階語言即指變元的取值范用限制於D的元素，它們不能代表D的子集或D的子集的子集等等，否則就分別是二階語言、三階語言了。全體個體變元構成一個可數集。

謂詞符號：對於結構L中的每一個關係R在L中有一個確定的謂詞R與之相對應。謂詞R是結構L中的關係R。在L中的表述。關係R是語言L中的謂詞R在結構L中的體現。R是一一對應的；邏輯聯詞：通常使用的是﹁(否定)、→(蘊涵)、∨(折取)、∧(合取)、↔(等價)等5 個。其中可以選取若干作為初始聯詞，例如取﹁和→或者﹁和∨，再用它們定義其他聯詞。