On the other hand, they do not exist if Martin's axiom for ℵ1 is true.
Toisaalta niitä ei voi olla olemassa mikäli Martinin aksiooma ℵ1:lle pätee.