Un metalenguaje a la vez puede ser el lenguaje objeto de otro metalenguaje de orden superior, y así sucesivamente.