Metalógica
rama de la lógica que estudia las propiedades y los componentes de los sistemas formales / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Metalógica?
Resumir este artículo para un niño de 10 años
MOSTRAR TODAS LAS PREGUNTAS
La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.[1] Las propiedades más importantes que se pueden demostrar de los sistemas formales son la consistencia, decidibilidad y completitud.[2] Ejemplos de teoremas metalógicos importantes son los teoremas de incompletitud de Gödel, el teorema de completitud de Gödel y el teorema de Löwenheim-Skolem. Otra propiedad es la compacidad.