74 ome space conject a-e states space is metrizable . Bjng':r [ 1 ] thecvern that a iff it is cdlectionwise normal (C the question "when al-e normal sp;~:e!; CWN?" Untili this paper? the (Le., provable wittl the u al axioms of set the0 g that the answer is %clt aysvv was Bin&s exa G [l]. @es of nonmetrizk31~: normal aces can be cothartin's Axiom with t1 e negati a "proof' lof lore space conjectun: mud use extra axioms of set theory. The strongest known result of this nalure uses1 Giidel's axiom of CCUP structibility (V = LO). ~:Corollaries of tlzk theorem are in [ 3 eissner /A norrnd CWH, not C n ordir:al is the set of ordinals preceding it. @reck letters will deordinal. Ordin ~1s implicitly e use the usual notation for intenals, e.g., subset of a1 is C&I iff it is closed and unbounded. f functions from 3 into 2 = {OJ}. e ad = If I f(a) = e). a subbasis for the usual protkct topo e none ty intersection of 11 subbasi e result of restricting cn y1 coorclinates. Clearly, en sets of measure 2+. V({a}, 1) IP X, = {& a}. If s is count able, G, is , . In a Fzgular T, ace every countab&e dosed discrete set of pointA: can be separated.