康托尔定理：指的是在***论中，任何***A的幂集的势严格大于A的势。

康托尔定理对于有限***成立，对于无限***也同样成立。康托尔定理是康托尔于1891年提出的，在1908年佛斯特·策梅洛的现代***论的基础论文中被世人所知。