El metalenguaje es un lenguaje utilizado para describir otro lenguaje, en lógica y lingüística, así como en metaprogramación.
El metalenguaje puede referirse a: