一阶逻辑

函数符号与唯一性

唯一，说明符合条件的都相同。