Solution (source code)

= Solution

\b[True.] If a nonempty countable complete metric space had no isolated point, every singleton would be closed and nowhere dense. Their countable union would be the whole space, contradicting the <Baire category theorem>. This is the basic <isolated points in a countable complete metric space> argument.