We know that the Borel $\sigma$-algebra of the Cartesian product space (with the product topology) of two topological spaces is equal to the product of the Borel $\sigma$-algebras of the factor spaces. (The product $\sigma$-algebra can be defined via pullbacks of projection maps...)
When one upgrades the above statement to a product of a countable family of topological spaces, the analagous result, namely that the Borel $\sigma$-algebra is the the product Borel $\sigma$-algebra, is conditioned by the topological spaces being second countable. Why?
My question is this: how and why does second countability make its appearance when we upgrade the finite product to countable product? (Second countability means that the base is countable, not just locally...)
My difficulty is that I do not see how suddenly second countability is important when we pass from finite to countable products.