== Anwendung in der Kategorientheorie == Unter Annahme der Existenz einer echten Klasse von unerreichbaren Kardinalzahlen können mit Hilfe von Grothendieck-Universen in der Kategorientheorie Aussagen über alle Mengen gemacht werden. Es ist möglich, jeder unerreichbaren Kardinalzahl ein Grothendieck-Universum zuzuordnen. Um eine Aussage über al...