|
Stelling van LindströmIn de wiskundige logica zegt de stelling van Lindström (genoemd naar de Zweedse logicus Per Lindström) dat de eerste-orde logica de sterkste logica is die, mits deze voldoet aan bepaalde voorwaarden, zoals afsluiting onder logische negatie), zowel de (aftelbare) compactheidseigenschap als de (neerwaartse) Löwenheim-Skolem-eigenschap heeft.[1] Zie ookVoetnoten
|