Urysohn metrization theorem

Statement
Any regular second-countable topological space is metrizable.

Related results

 * Nagata-Smirnov metrization theorem is a more powerful statement, which weakens second-countability to having a countable locally finite basis, and shows that the new set of conditions is both necessary and sufficient.