型_(模型論)

在模型論中 ， 型是一階邏輯中的一個相容的公式集合 。 一個完備型是這類集合中的一個極大元素 。