##### 幂集公理 - 幂集公理 - **幂集公理**在[[策梅洛-弗兰克尔集合论]]中表示对于任意集合 $A$, 存在一个集合 $\mathcal{P}$, 它包含所有 $A$ 的子集, 即幂集 $\mathcal{P}(A)$ - $\forall A \exists \mathcal{P} \forall x (x \in \mathcal{P} \leftrightarrow \forall y (y \in x \rightarrow y \in A))$