1. Analyse de la logique, étude des propriétés des systèmes logiques déjà construits.Le métalangage formalisé n'est pas, épistémologiquement, dans la situation de la métalogique et de la métamathématique. Celles-ci, en effet, rendent compte d'un langage artificiel qui lui-même s'appuie sur le langage naturel, alors que le métalangage formalisé rend compte directement du langage naturel.

1. Relatif à l’analyse de la logique.Est parfois considéré comme métalogique ce qui, dans un système formel, précède la formulation des axiomes.