Universella satser analyseras i modern logik med hjälp av den av Frege införda allkvantifikatorn, men uppmärksammades i den mer begränsade formen ”alla S är P” (t.ex. alla människor är dödliga) redan av Aristoteles i hans lära om syllogismer.