离散数学
集合基数康托儿定理
$$\mathrm{Card}(A) < \mathrm{Card}(P(A))$$