It is asserted in *A Course in Metric Geometry* by Burago, Burago, Ivanov that

there can be no more than continuum of mutually nonisometric compact spaces

How is this proven?

Its clear that there must be at least a continuum of mutually nonisometric compact spaces, i.e. $([0,\alpha], d_{\mathbb{R}})$ for $\alpha>0$ are a family of nonisometric metric spaces, but I don't know enough set theory to have any ideas how to bound the cardinality from above. A first guess was that the fact that compact metric spaces are totally bounded should be useful?