La metalógica es el estudio de los sitemas formales. Dicho brevemente, la metalógica es el metalenguaje de la lógica. Cuando tomamos el lenguaje formal como lenguaje objeto, nos servimos para su estudio de la metalógica. Por ejemplo, en Aprende Lógica hacemos uso de la metalógica cuando presentamos los signos que usa la el lenguaje formal. Así, el enunciado "'→' es una de las conectivas" es un enunciado metalógico.
