Ausdrücke der Prädikatenlogik

Zur logischen Grundlegung der Mathematik wird eine ausdrucksstärkere Logik als die Aussagenlogik benötigt. Um Eigenschaften von und Beziehungen zwischen (mathematischen) Objekten beschreiben zu können, bedient man sich der Prädikatenlogik.