Nana a természetes számok számossága alef0, hatványhalmazának számossága pedig alef1. A kontinuum hipotézis nem bizonyított (ezért hipotézis). Így nem állíthatjuk hogy alef1 megegyezik c-vel. Ez BME műszaki informatikán szigorlat bukó..