Nesta série apresentamos todos os pré-requisitos necessários para entender o enunciado e a demonstração da seguinte versão do teorema de Löwenheim-Skolem: se uma teoria em linguagem enumerável tem modelo infinito, então esta teoria tem modelo enumerável. Também enunciamos o paradoxo de Skolem (com duas soluções para o aparente paradoxo) e a versão "para cima" do teorema de Löwenheim-Skolem.