eine Variante der Modelltheorie, bei der als Sprache der Prädikatenkalkül zweiter Stufe (Prädikatenlogik höherer Stufe) benutzt wird. Wichtige Hilfsmittel der elementaren Logik, wie der Kompaktheitssatz der Modelltheorie, das Modellexistenztheorem (Modelltheorie) und andere Sätze gelten für die Prädikatenlogik der zweiten Stufe nicht mehr. Daher stehen leistungsfähige Methoden zur Konstruktion oder zum Nachweis der Existenz gewisser Modelle nicht mehr zur Verfügung, wodurch der Einfluß der Modelltheorie zweiter Ordnung auf die Gesamtentwicklung der Modelltheorie bescheiden blieb.