La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.