Russell-style universes

Redirect to:

• Universe (mathematics)#In type theory