Skip to main content

A reference for Lindenbaum Theorem

If you've read FOM recently, you probably already know, if you don't, here is a fun fact about Lindenbaum Theorem.

Arnold Neumaier asked why exactly Lindenbaum is credited with Lindenbaum Theorem, and the answer (given by Panu Raatikainen) is that it was never published by Lindenbaum, but it is credited to Lindenbaum by Tarski in On fundamental concepts of metamathematics (1930), theorem 12 and footnote, p. 34 in the English translation of Logic, Semantics, Metamathematics.

Since I did some Polish logic and still was lame enough not to know this, I'm grateful to Panu for the reference.