There are many topological results in Zermelo-Fraenkel set theory including the axiom of choice (ZFC) that are not true in the absence of choice, i. e. in ZF. Even if we restrict our attention to many “familiar” topological results are not provable in ZF, although in most cases their validity follows from a weaker version of the axiom of choice, CC( ). Definition 0.1 The axiom of countable choi...