Lema de Lindenbaum
El lema de Lindenbaum, o álgebra de Lindenbaum, es una aserción en el campo de la lógica matemática. Llamado así por su autor Adolf Lindenbaum, establece que cualquier teoría consistente de la lógica de predicados puede extenderse a una teoría completa y consistente. El lema es un caso especial del lema de ultrafiltro para álgebras booleanas, aplicado al álgebra de Lindenbaum de una teoría determinada.
Usos
Se utiliza en la demostración del teorema de completitud de Gödel, entre otras aplicaciones teóricas.
Demostración
Dada una enumeración de todas las fórmulas, podemos extender una teoría consistente añadiendo de forma inductiva o bien (si esto preserva la consistencia) o (en otro caso).
Referencias
- Crossley, J.N.; Ash, C.J.; Brickhill, C.J.; Stillwell, J.C.; Williams, N.H. (1972). What is mathematical logic?. London-Oxford-New York: Oxford University Press. p. 16. ISBN 0-19-888087-1.
- Enderton, Herbert B. (2001). A mathematical introduction to logic (2nd ed edición). Academic Press. ISBN 0-12-238452-0. OCLC 45830890. Consultado el 28 de febrero de 2023.
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.