flamingos-cant@feddit.uk to 196English · 5 months agoSpectrum rulefeddit.ukimagemessage-square139fedilinkarrow-up1979
arrow-up1979imageSpectrum rulefeddit.ukflamingos-cant@feddit.uk to 196English · 5 months agomessage-square139fedilink
minus-squareKogasa@programming.devlinkfedilinkarrow-up2·5 months agoIt’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.
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.