Mengenuniversum

In der Mathematik bezeichnet man als Mengenuniversum die Gesamtheit aller in einem Axiomensystem zu bildenden Mengen. Insbesondere wird das Mengenuniversum der Zermelo-Fraenkel-Mengenlehre als ZF-Mengenuniversum bezeichnet. Üblicherweise wird das Mengenuniversum mit bezeichnet.