BCT1 also shows that every complete metric space with no isolated points is uncountable.
BCT1也表明每一个没有孤立点的完备度量空间都是不可数的。