Vuonna matemaattinen logiikka , Lindström lause (julkaistu vuonna 1969 Ruotsin logician Per Lindström ) luonnehtii ensimmäisen kertaluvun logiikka seuraavasti: karkeasti ottaen on logiikka, jolla on tiiviys lauseen ja Löwenheim theorem- Laskeva Skolem . Lauseen lause on seuraava:
Olkoon L abstrakti logiikka (eli joka täyttää tietyt ehdot, katso alla), joka on ilmeisempi kuin ensiluokkainen logiikka. Seuraavat kaksi ominaisuutta vastaavat:
Tarkemmin sanottuna abstrakti logiikka on joukko kaavoja, jotka sisältävät totuusolosuhteet kaavojen tulkitsemiseksi rakenteissa. Lisäksi tämän kaavasarjan vaaditaan olevan suljettu isomorfismeilla, nimeämällä se uudelleen, sulkemalla negaatioilla, konjunktiolla, eksistentiaalisella kvantifioinnilla ja vapaalla laajennuksella.
Lindströmin lauseesta on muunnelmia ensimmäisen asteen logiikan syntaktisille fragmenteille.