Object language
Object language
A language or logistic system L is called object language relatively to another language (metasystem) L’ containing notations for formulas of L and for syntactical properties of and relations between formulas of L (possibly also semantical properties and relations). The language L’ is called a syntax language of L.
See Name relation; Syntax, Logical; Truth, semantical. — A.C.