Tarski-style universes
Redirect to:
Universe (mathematics)#In type theory