sentences:  There is a different Borel conjecture (named for Émile Borel) in set theory.It asserts that every strong measure zero set of reals is countable.Work of Nikolai Luzin and Richard Laver shows that this conjecture is independent of the ZFC axioms.