UNDECIDABLE STATEMENT 12 / 22
⊬
Borel Conjecture
ZFC Set Theory
Proved by Laver (consistent) / counterexample under CH 1976
Whether every strong measure zero set of reals is countable. True under some models, false under CH.
SIGNIFICANCE
Connects measure theory to set-theoretic independence.
Neither provable nor refutable · rotates daily