Resposta:
Em lógica e linguística, uma metalinguagem é uma linguagem usada para descrever algo sobre outra linguagens. Modelos formais sintáticos para descrição gramatical, e.g. gramática gerativa, são um tipo de metalinguagem.
