在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象