##### 替换公理 - 替换公理 - **替换公理**在[[策梅洛-弗兰克尔集合论]]中表示如果对于集合 $A$ 中的每个元素 $x$, 存在唯一的 $y$ 使得 $\psi(x, y)$ 成立, 则可以构造一个集合 $S$, 它包含所有满足 $\psi(x, y)$ 的 $y$ . 该公理确保可以通过某种变换得到新集合 - $\forall A ((\forall x \in A) \exists! y \psi(x, y) \rightarrow \exists S \forall y (y \in S \leftrightarrow \exists x \in A \psi(x, y)))$