Für alle (… ∀x: x>3 heißt: für alle x gilt, dass x ist größer ist als 3 ist, mehr unter <a href="../lex/allquantor.htm" title="Ein Symbol, das angibt, dass etwas für alle Elemente mit einer bestimmten Eigenschaft gilt: ∀x: x+x=2x - diese Schreibweise heißt ausformuliert: Für alle x gilt, dass x plus x denselben Zahlenwert hat wie 2 mal x.">Allquantor ↗</a>)