977
Spectrum rule (feddit.uk)
submitted 4 months ago by flamingos@feddit.uk to c/196@lemmy.blahaj.zone
you are viewing a single comment's thread
view the rest of the comments
[-] kogasa@programming.dev 2 points 4 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.

this post was submitted on 27 May 2024
977 points (100.0% liked)

196

16377 readers
2121 users here now

Be sure to follow the rule before you head out.

Rule: You must post before you leave.

^other^ ^rules^

founded 1 year ago
MODERATORS