… ∀x: x>3 heißt: für alle x gilt, dass x ist größer ist als 3 ist, mehr unter Allquantor ↗