In mathematical logic, Lindström's theorem (named after Swedish logician Per Lindström, who published it in 1969) states that first-order logic is the strongest logic (satisfying certain conditions, e.g.
The statement about Lindström's theorem, which was published by Swedish logician Per Lindström in 1969, states that first-order logic is the strongest logical system satisfying specific criteria.