Metalanguage
Metalanguage
A language used to make assertions about another language; any language whose symbols refer to the properties of the symbols of another language. (Formed by analogy with “metamathematics”, the study of formalized mathematical systems.) — M.B.