Congetura ëd Borel

La congetura ëd Borel a fortiss che minca ansem X ëd nùmer reaj dë mzura fòrt zero a l'é numeràbil. Costa congetura a faliss sota l'ipòtesi dël continuo. Për un teorema ëd Laver a l'é però coerenta con ZFC. An efet, ës teorema a fortiss che, sota GCH, a-i é n'estension genérica V[G] andoa $2^{\aleph _{0}}=\aleph _{2}$ e la congetura ëd Borel a l'é vera.