Lindenbaum's lemma
Appearance
In
Lindenbaum algebra
of a theory.
Uses
It is used in the proof of Gödel's completeness theorem, among other places.[citation needed]
Extensions
The effective version of the lemma's statement, "every consistent
Gödel's incompleteness theorem
.
History
The lemma was not published by Adolf Lindenbaum; it is originally attributed to him by Alfred Tarski.[1]
Notes
- ^ Tarski, A. On Fundamental Concepts of Metamathematics, 1930.
References
- Crossley, J.N.; Ash, C.J.; Brickhill, C.J.; Stillwell, J.C.; Williams, N.H. (1972). What is mathematical logic?. London-Oxford-New York: Zbl 0251.02001.