個體常項

個體常項亦稱“特定的個體。 形式系統個體域中確定的個體。一般用字母a、b、c等表示。個體 域又稱為對象域或論域，它是形式 系統所討論的對象(個體)的全體所 組成的集合。隨著對形式系統的解 釋的不同，個體域可以有不同的內 容如同討論一個函式時，要先清楚 它的定義域，對於形式系統的討論 就首先要明確論域。

隨著對形式系統的解 釋的不同，個體域可以有不同的內 容如同討論一個函式時，要先清楚 它的定義域，對於形式系統的討論 就首先要明確論域。函式定義域中 的元素是數，而形式系統論域中的' 元素則是抽象的一般對象。