b'\n_START_ARTICLE_\nStelling van Lindstr\xc3\xb6m\n_START_PARAGRAPH_\nIn de wiskundige logica beweert de stelling van Lindstr\xc3\xb6m (vernoemd naar de Zweedse logicus Per Lindstr\xc3\xb6m) dat de eerste-orde logica de sterkste logica die, mits deze voldoet aan bepaalde voorwaarden, zoals afsluiting onder logische negatie), zowel de (aftelbare) compactheidseigenschap en de (neerwaartse) L\xc3\xb6wenheim-Skolem-eigenschap heeft.'