Logik: Universell quantifizierte Aussage. Formuliert: "Für alle x gilt ...", d.h. etwas gilt für alle Elemente eines Gegenstandbereichs