Cet article concerne l'univers en logique. Pour l'Univers au sens cosmologique, voir Univers. Pour les autres significations, voir Univers (homonymie).
En mathématiques, et en particulier en théorie des ensembles et en logique mathématique, un univers est un ensemble (ou parfois une classe propre) ayant comme éléments tous les objets qu'on souhaite considérer dans un contexte donné.
Developed by StudentB