Cette séance de cours couvre des modèles de termes pour la logique de premier ordre, en discutant de l'interprétation qui rend une formule vraie, des sous-structures, des théorèmes de petits modèles, des exemples de sous-structures, des formules universelles demeurant vraies dans les sous-structures, en trouvant la plus petite sous-structure, et le modèle Herbrand comme un modèle compterable générique.