Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Der Begiff Universum steht in der (diskreten) Mathematik für das so genannte Mengenuniversum U . Es fasst beliebige bekannte und unbekannte Axiome definierte Objekte zusammen auch Mengen von Objekten. Ein Universum wird meist eine Variable mit einer Aussage assoziiert (Aussagenlogik).