Eine
Allaussage ist eine Aussage über alle Elemente eines bestimmten Gegenstandsbereichs, zum Beispiel die Aussage „Alle Menschen sind sterblich.“ Synonym werden modern Bezeichnungen wie
Universalaussage,
universale Aussage,
universelle Aussage,
Allsatz,
Generalisation oder
Generalisierung (als Ergebnis) verwendet. In der traditionellen Logik werden Allaussagen als
universelle,
universale oder
allgemeine Urteile bezeichnet – hierzu siehe
Kategorisches Urteil.