個體常元

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