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.
