一階の理論(theory)は、固定されたシグネチャと、そのシグネチャにおける固定された文(自由変項のない論理式)の集合で構成される。