tion::::语义.一阶语言的解释会对语言内的所有非逻辑常数赋予上意义，同时也决定能指明量化范围的论域。其结果为，每个项都会被赋予其代表的元件，每个句子也都会被赋予上一个真值。这样，解释即对语言内的项及公式提供了语义。研究形式语言的解释的学科称为形式语义学。论域"D"是由某种类型的「物件」所组成的非空集合。直观上来看，一阶公式是有关这些物件的叙述。例如，formula_68叙述存在一个物件"x"，能使得指涉此物件的断言"P"为真。论域即是此类考量的物件的集合，例如可取"D"为整数的集合。函数符号