一階語言

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