sentences:  Lindström's theorem
  
  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.closure under classical negation) having both the (countable) compactness property and the (downward) Löwenheim–Skolem property.