In der Logik-Vertiefung werden "Variablenbelegung b erfüllt Formel A in Struktur M" sowie "Formel A ist logisch wahr" definiert, und es werden einige Behauptungen, in denen diese Prädikate eine entscheidende Rolle spielen, formuliert und gezeigt. Aber selbst für den Nachweis des Vollständigkeitssatzes der Prädikatenlogik 1. Stufe – eine Formel A ist logisch wahr genau dann, wenn sie beweisbar ist -- bleibt keine Zeit. Dieser Satz bildet den Einstieg in die sog. Modelltheorie, deren Thema eben dieses Auswerten von Formeln in Strukturen ist. Wir beginnen das Proseminar mit dem Nachweis des o.g. Vollständigkeitssatzes; es folgt eine Behandlung einiger elementarer modelltheoretischen Resultate und Methoden, wobei ich mich an das klassische modelltheoretische Lehrbuch Chang/Keisler: Model Theory halten will.