[Aula dada pela Doutora Ezgi Su.]

Enunciado da versão dedutiva do teorema da completude de Gödel e sua dedução a partir do teorema da existência de modelos.

Preparação para a demonstração do teorema da existência de modelos através do método das constantes de Henkin.