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