一階理論

一階理論是指建立在一階邏輯基礎上的理論。一個一階理論是這樣一個形式系統：(1)語言是一階語言：(2)公理包含邏輯公理與非邏輯公理。(3)規則是謂詞演算的變形規則。邏輯公理是由所選擇的語言決定的，它獨立於非邏輯公理。

邏輯公理是由所選擇的語言決定的，它獨立於非邏輯公理。公理包含邏輯公理與非邏輯公理，不同的一階理論有不同的非邏輯公理。邏輯公理是由所選擇的語言決定的，它獨立於非邏輯公理，如形式化的自然數經典公理。