A language in which the quantifiers
contain only variables ranging over 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, properties, relations, and classes of objects, and in yet
higher-order languages over properties of properties.