Prädikatenlogik zweiter Stufe

Die Prädikatenlogik zweiter Stufe ist ein Teilgebiet der mathematischen Logik. Sie erweitert die Prädikatenlogik erster Stufe um die Möglichkeit, über alle Relationen zu quantifizieren. Die Prädikatenlogik zweiter Stufe ist daher echt ausdrucksstärker als die der ersten Stufe, bestimmte wichtige Sätze gelten jedoch nicht mehr, wie etwa der Kompaktheitssatz.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.