一个常量符号。现在考虑这个形式语言的模型，它带有类型 T 和 U 被建模为集合 [T] 和 [U]，而类型 T 的每个符号 "X" 被建模为 [T] 中的元素 ["x"]。则 "F" 可以被建模为集合它简单的是带有域 [T] 和陪域 [U] 的一个函数。["F"("x")] = ["F"("y")] 只要 ["x"] = ["y"] 是一致性模型的要求。
介入新的函数符号.在允许介入新的谓词符号的谓词逻辑系统中，你可能也想介入新的函数符号。从旧的函数符号介入新的函数符号是容易