A hatványhalmazokkal kapcsolatos, és ritkábban idézett tény, hogy eldönthetetlen a ZFC-ben, hogy P(Alef_0)<P(omega_1) igaz-e. Konzisztens, hogy egyenlőek.