Corollary 1
Tag 0C8G, permanent. Cite it as [Bourbaki, Tag 0C8G].
General Topology, chapter IX, § 6. Polish spaces, Souslin spaces, Borel sets
A space is Polish if and only if it is homeomorphic to a countable intersection of open sets in the cube , where is the interval of .
The condition is clearly sufficient, and it is necessary because every metrizable space of countable type is homeomorphic to a subspace of (§ 2, no. 8, Proposition 12).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.