(This is based on [my earlier question](http://mathoverflow.net/questions/73815/does-zf-prove-that-topological-groups-are-completely-regular), but I think this one would be easier to answer.)
<br><br><br>
Let $\langle X,\mathbf{\delta} \hspace{.01 in} \rangle$ be a [separated proximity space](http://en.wikipedia.org/wiki/Proximity_space), and let $\cal{T}\hspace{.04 in}$ be the induced topology on $X$.
<br>
Then, ZF proves that $\langle X,\cal{T}\hspace{.06 in} \rangle$ is regular Hausdorff, and
<br>
ZF + (Dependent Choice) $\;$proves that $\langle X,\cal{T}\hspace{.06 in} \rangle$ is completely regular.

Does ZF prove that $\langle X,\cal{T}\hspace{.06 in} \rangle$ is completely regular?
<br><br>