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, la expansión, el isomorfismo, el cambio de nombre y la 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 un número de Löwenheim ω. [2]