Logik Zweiter Ordnung

Ein logisches Rahmenwerk, das die Syntax der ersten Ordnung erweitert, indem es Quantifikation nicht nur über einzelne Elemente einer Domäne, sondern auch über Relationen, Funktionen oder Teilmengen der Domäne erlaubt (d. h. zweitordentliche Variablen reichen über prädikatartige Objekte).