En logique mathématique, le théorème de Lindström.. (publié en 1969 par le logicien suédois Per Lindström) caractérise la logique du premier ordre comme suit : il s'agit de la logique qui possède le théorème de compacité et le théorème de Löwenheim-Skolem descendant. L'énoncé du théorème est le suivant. :
Conditions vérifiées par une logique abstraite
Plus précisément, une logique abstraite est un ensemble de formules muni de conditions de vérité pour interpréter les formules dans des structures. De plus, on demande à cet ensemble de formules d'être clos par isomorphisme, renommage, négation, conjonction, quantification existentielle et expansion libre.
Variantes
Il existe des variantes du théorème de Lindström pour des fragments syntaxiques de la logique du premier ordre..
Notes et références
Compacité