Lindelof = compact for T_1-spaces iff the axiom of countable choice for subsets of the reals fails. Lindelof T_2-spaces are T_3 spaces iff the axiom of countable choice for subsets of the reals fails. 数学科の集合と位相の講義ってきっとこう…