- It is consistent with ZF + DC that every set of reals is #Lebesgue measurable
due to #Solovay it cannot be proved in #ZFC itself, but requires a mild large cardinal assumption (the existence of an inaccessible cardinal). The much stronger axiom of determinacy, or AD