Metalógica

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
El estudio formal de las propiedades de los sistemas lógicos considerados como objetos: su sintaxis, semántica, transformaciones de prueba, decidibilidad, completitud, compacidad y otros teoremas metalógicos formulados sobre sistemas enteros en lugar de fórmulas individuales.