bir kümenin güç kümesine eşsayılı olamayacağını belirten sav..
(bkz: cantor theorem)