Cantor teoremi, kümeler teorisinin başlıca teoremlerindendir. Teorem; boş olmayan herhangi bir ''X'' kümesinin kuvvet kümesinin kardinalitesinin, ''X'' kümesinin kardinalitesinden büyük olduğunu söyler. ''P(X)'' ile kuvvet kümesi gösterilirse, teoreme göre ''X'' kümesi ile ''P(X)'' arasında birebir eşleme yapılamaz.