-
@therealjrbrown @ColinVParker @primerlearning @AdamLBergman @KentHaines You got it: all countable sets are strong measure zero, and the axiom known as the Borel Conjecture (false under the Continuum Hypothesis but still consistent with ZFC) says that all strong measure zero sets are countable.