FIRSTORDER LANGUAGE

first-order language: translation

A language in which the quantifiers contain only variables ranging over individuals (not, in particular, ranging over properties of those individuals), and the functions have as their arguments only individual variables or constants. In a second-order language the variables of the quantifiers may range over functions and properties, and in yet higher-order languages over properties of properties.