Metrizability and complete regularity are topological properties that are, in a sense, different from the Hausdorff condition because they are not defined purely in the terms of the open sets, but rather using some external object, namely $\mathbb R$. Now a space is metrizable if it has the weak topology induced by a function $d : X \times X \rightarrow \mathbb R$ satisfying the properties of a metric, but metrization theorems tell us that an equivalent condition is that $X$ is regular and has a sigmadiscrete basis (and this is purely topological). Is there a similiar characterization of Tychonoff spaces that makes no reference to $\mathbb R$ whatsoever?

A $T_1$ space $X$ is completely regular if and only if it has a basis $\mathcal{B}$ such that
The proof can be found in Frink, Orrin Compactifications and seminormal spaces. Amer. J. Math. 86 1964 602–607. The statement I've given above is actually dual to the statement of this paper. I took it directly from Engelking's General topology, which is the book I strongly recommend for finding references to this kind of questions. 


Another answer was given by Aarts and De Groot in Complete regularity as a separation axiom Canadian Journal of Mathematics 21 1969 96–105. Frink's condition sets things up for a proof a la Urysohn's Lemma; Aarts and De Groot's condition is in terms of subbases and the proof proceeds by constructing a Hausdorff compactification. 

