Metalógica

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.

Mientras la lógica matemática se encarga, entre otras cosas, de construir sistemas lógicos, la metalógica se ocupa de estudiar las propiedades de dichos sistemas. Las propiedades más importantes que se pueden demostrar de los sistemas lógicos son:

• Consistencia de la lógica proposicional veritativo-funcional (Emil Post 1920)
• Completitud semántica de la lógica proposicional veritativo-funcional (Paul Bernays 1918, Emil Post 1920)
• Decidibilidad de la lógica proposicional veritativo funcional (Emil Post 1920)
• Consistencia de la lógica de primer orden monádica (Leopold Löwenheim 1915)
• Completitud semántica de la lógica de primer orden monádica (Leopold Löwenheim 1915)
• Decidibilidad de la lógica de primer orden monádica (Leopold Löwenheim 1915)
• Consistencia de la lógica de primer orden (David Hilbert y Wilhelm Ackermann 1928)
• Indecibilidad de la lógica de primer orden (Entscheidungsproblem, Alonzo Church 1936 y Alan Turing 1936)

• Lógica
• Metalenguaje
• Numeración de Gödel
• Principio de Superposición

1. Completitud (lógica)
2. Sistema formal
3. Teorema de la deducción
4. Decidibilidad
5. Completitud
6. Metateoría
7. Escuela de Leópolis-Varsovia
8. Nikolái Vasíliev
9. Compacidad (lógica)
10. Consistencia (lógica)
11. Lógica matemática
12. Implicación material
13. Tautología (regla de inferencia)
14. Relativismo
15. Exportación (lógica)
16. Metalenguaje
17. Jesús Padilla Gálvez
18. Introducción de la conjunción
19. Simplificación
20. Teorema de Löwenheim-Skolem