Constructing a countable family of seminorms in a metrizable LCS. Here's some context before my question.
Let $\mathbb{V}$ be a topological vector space, which is Hausdorff and such that its topology is generated by some arbitrary family of seminorms $\{\rho_{\alpha}\}_{\alpha \in I}$; this means that $\mathbb{V}$ is locally convex. Now, if $I$ turns out to be countable (or if we can reduce the family $\{\rho_{\alpha}\}_{\alpha \in I}$ to a countable one, while keeping the same topology in $\mathbb{V}$), we can define a metric in $\mathbb{V}$ by
$$d(u, v) = \sum_{i = 1}^{\infty} \frac{1}{2^i} \frac{\rho_i(u - v)}{1 + \rho_i(u - v)},$$
where $\{\rho_i\}_{i \in \mathbb{N}}$ is some enumeration of $\{\rho_{\alpha}\}_{\alpha \in I}$, so that its topology is metrizable. I've been told that the converse is also true, which leads to my question.
QUESTION: Let $\mathbb{V}$ be a topological vector space having a metrizable topology, generated by some metric $d$. How can I prove that $\mathbb{V}$ admits a countable family of seminorms generating its topology? Also, do I need to impose the condition that $d$ is translation invariant (since this happens in the above construction)?
Thanks.

We first show the following result: 

Let $X$ locally convex topological vector space with a countable family of neighborhood of $0$. We can find a metric $d$ compatible with the topology of $X$ and invariant by translation.

Sketch of proof: We can take a basis a neighborhoods $\{V_n\}$ such that each $V_n$ is convex and for all $n$: $V_{n+1}+V_{n+1}+V_{n+1}+V_{n+1}\subset V_n$. Let $D$ the set of rational numbers of the form $r=\sum_{n=1}^{+\infty}c_n(r)2^{-n}$ where $c_i(r)\in \{0,1\}$ and $c_i=0$ except for a finite numbers of index $i$. We put $A(r)=X$ if $r\geq 1$ and for $r\in D$ we put $A(r):=\sum_{n=1}^{+\infty}c_n(r)V_n$, $f(x):=\inf\{r\in D: x\in A(r)\}$ for $x\in X$and $d(x,y)=f(x-y)$. 
Now we put $\rho_n(x):=\sup\{\alpha>0, \alpha x\in B(0,n^{-1})\}$. Since the balls $B(0,n^{-1})$ are convex, $\rho_n$ is a seminorm. Since the topology given by these seminomrs is the same as the topology given by $d$, we are done.
