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