Term

A linguistic expression used to denote objects. For example, the expressions are distinct terms denoting the same object. A term can contain free variables (parameters) (cf. Free variable), fixation of whose values uniquely defines some object according to the semantic laws of the language — the value of the term for the given values of its free variables. Thus, if is a variable with as values integrable real-valued functions, and , , are variables whose values are real numbers, then the expression is a term with three parameters , , , which denotes a well-defined real number for each set of values of the parameters ( in this term is a bound variable). Syntactically, terms are characterized by the fact that they can be substituted for variables in other expressions of the language — terms or formulas, yielding new terms or formulas, respectively.

In a formalized language there exist formal rules, independent of the semantics of the language, for constructing terms and distinguishing free variables in them. In many-sorted languages there are also rules for determining the sorts of the terms which occur.

References

[a1]	J.R. Schoenfield, "Mathematical logic" , Addison-Wesley (1967)