Lógicas abstratas e o primeiro teorema de Lindström