Dimension of Hilbert Space is Well-Defined

Definition
Let $H$ be a Hilbert space.

Then the dimension $\dim H$ of $H$ is well-defined.

That is to say, any two bases of $H$ have the same cardinality.