estudio de las propiedades formales, (por ejemplo, consistencia, completud, decidibilidad), de los sistemas lógicos formales.
(Haack, 1978).
La metalógica es una rama de la lógica que estudia las propiedades y los componentes de los sistemas lógicos. Las propiedades más importantes que se pueden demostrar de los sistemas lógicos son la consistencia, decidibilidad y completitud.
(Wikipedia).