Weyl's separation of topological and metrical structure, inherited from Riemann, presupposes a reali...