Based on Lindström's characterization, first order logic is, up to equivalence, the only abstract logic which is countably compact and has Löwenheim number ω.
Abstract art | logic | abstract art | Logic | Abstract Rude | The Bill James Historical Baseball Abstract | Abstract algebra | Programmable logic controller | Louis Logic | Transistor–transistor logic | Solid State Logic | Logic Pro | Cirrus Logic | The Blues and the Abstract Truth | Postmodernism, or, the Cultural Logic of Late Capitalism | Ladder Logic | Ladder logic | Journal of Symbolic Logic | informal logic | H-Logic | fuzzy logic | Formula (mathematical logic) | Burrows-Abadi-Needham logic | Bien Logic | American Abstract Artists | Abstract strategy game | Abstract Art | abstract algebra | Ω-logic | Valid Logic Systems |