This paper on the calculus of inductive constructions states:
The need for an infinite hierarchy of universes comes from the fact that the more naive system where we have only one sort $\mathsf{Type}$ of type $\mathsf{Type}$ is inconsistent.
What does it mean for a type system to be "inconsistent"? Does it mean that one object can be typed in multiple ways?