Todo lenguaje que tenga por objeto un lenguaje es un “metalenguaje”, que a su vez puede ser lenguaje objeto de otro metalenguaje de orden superior, y así sucesivamente.