Theorem.

$X$ regular with a countable basis implies $X$ is Metrizable

Uses Urysohn's lemma . Proof

Related Theorem:

$X$ compact Hausdorff, then:

$X$ is metrizable if and only if $X$ has a countable spaces