A metalanguage is a language used to describe and talk about a formal language. The metalanguage may be understood as simply an abstraction of the object language, which includes an added level of abstraction for describing the operations of the original object language.