A 2^omega nem egyenlő alef_1-gyel. Ez az egyenlőség az ún. kontinuumhipotézis, ami független a ZFC-től.