In logic and linguistics, a metalanguage is a language used to make statements about other languages (object languages). Formal syntactic models for the description of grammar, e.g. generative grammar, are a type of metalanguage. More broadly, it can refer to any terminology or language used to discuss language itself —a written grammar, for example, or a discussion about language use.