• Kogasa@programming.dev
    link
    fedilink
    arrow-up
    2
    ·
    6 months ago

    It’s required, but nontrivially so. It has been proven that ZF + dependent choice is consistent with the assumption that all sets of reals are Lebesgue measurable.