Med universum förstås ungefär det samma som samtalsdomän, men begreppet 'universum' är mera tekniskt och exakt. Ett annat 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.