Zum Inhalt springen

Prädikatenlogik/Allgemeingültig/Es gibt x x ist y/Aufgabe