康托尔定理指的是在ZFC集合论中，声称任何集合"A"的幂集（所有子集的集合）的势严格大于"A"的势。康托尔定理对于有限集合是明显的（有限的集合的幂集的个数为集合个数 formula_1 的 formula_2），但是令人惊奇的是它对于无限集合也成立。同时证明了，可数无限集合构造的幂集的基数是不可数无限，以此创造出出不可数无限的概念。
归谬法证明.证明：对任何的集合 formula_3，它的元素与幂集 formula_4 的元素之间不可能存在一一对应（双射）的关系。（利用归谬法）