康托爾定理

康托爾定理指的是在ZFC集合論中 ， 聲稱任何集合A的冪集 （ 所有子集的集合 ） 的勢嚴格大於A的勢 。 康托爾定理對於有限集合是明顯的 （ 有限的集合的冪集的個數爲集合個數 的 ） ， 但是令人驚奇的是它對於無限集合也成立 。 同時證明了 ， 可數無限集合構造的冪集的基數是不可數無限 ， 以此創造出不可數無限的概念 。