Russell-style universes

Redirect to:

  • Universe (mathematics)#In type theory