METALENGUAJE: 🔎

en lógica y filosofía del lenguaje, es un lenguaje que se usa para hablar acerca de otro lenguaje. Al lenguaje acerca del cual se está hablando se le llama el lenguaje objeto.​ El metalenguaje puede ser idéntico al lenguaje objeto, por ejemplo cuando se habla acerca del español usando el español mismo. Un metalenguaje a la vez puede ser el lenguaje objeto de otro metalenguaje de orden superior, y así sucesivamente. Distintos metalenguajes pueden hablar acerca de diferentes aspectos de un mismo lenguaje objeto.

Los modelos formales de sintaxis para la descripción de la gramática, como por ejemplo, la gramática generativa, son tipos de metalenguaje.

En un sentido más general, puede referirse a cualquier terminología o lenguaje usado para hablar con referencia al mismo lenguaje. Por ejemplo, un texto sobre gramática o una discusión acerca del uso del lenguaje.
(Wikipedia).

LENGUAJE OBJETO: 🔎

si se está hablando sobre sistemas, el sistema sobre el que se habla se conoce como el lenguaje objeto; el sistema que se usa para hablar sobre él, es el metalenguaje. (N.B. esta es más una distinción relativa que absoluta, por ejemplo se podría usar el frances (el metalenguaje) para hablar sobre el inglés (el lenguaje objeto) o el inglés para hablar sobre el francés).
(Haack, 1978).