Teorias de primeira ordem, metateoremas de completude, compacidade, interpolaçâo, definibilidade, Löwenheim-Skolem. Aritmética de Peano, teoremas de incompletude (Gödel).