User blog comment:Vel!/Call for math facts/@comment-5529393-20140730091316

The Generalized Continuum Hypothesis (there are no infinte cardinals a,b such that a < b < 2^a) implies the Axiom of Choice. V=L (every set is constructible) implies GCH.