Lädt…
Universelle Quantifizierung mit dem ALL-Prädikat — Capypad