[[!redirects universe]] [[!redirects universes]] [[!redirects Russell universe]] [[!redirects Russell universes]] [[!redirects Tarski universe]] [[!redirects Tarski universes]] [[!redirects weakly Tarski universe]] [[!redirects weakly Tarski universes]] < [[nlab:type universe]] category: redirected to nlab