En lógica matemática , una lógica abstracta es un sistema formal que consta de una clase de oraciones y una relación de satisfacción con propiedades específicas relacionadas con la ocurrencia, expansión, isomorfismo, cambio de nombre y cuantificación. [1]
Según la caracterización de Lindström , la lógica de primer orden es, hasta la equivalencia, la única lógica abstracta que es contablemente compacta y tiene el número de Löwenheim ω. [2]