An Etymological Dictionary of Astronomy and Astrophysics

An n extension of → first-order logic that quantifies not only → variables that range over → individuals, but also quantifies over → relations.

See also: → second; → order; → predicate; → logic.