Med universum förstås vanligtvis det samma som samtalsdomän. De engelska motsvarigheterna är Universe och Universe of Discourse. Ett annat svenskt namn för samma sak är individområde. Ett universum är i logiken en mängd vars element uteslutande är individer (individkonstanter). Ett universum är inte det samma som en möjlig värld eller en modell. En modell består dels av ett universum, som består av individer, dels av en värdering eller tolkningsfunktion av predikat och av individerna i universumet.
Satsen "Alla är dödliga" behöver inte implicera att stenar och gudar är dödliga, eftersom varken stenar eller gudar behöver ingå i det aktuella universumet eller samtalsdomänet. Universumet kan t.ex. vara mängden av alla människor. I princip kan ett universum bestå av en enda individ.