##### 正则公理 - 正则公理 - **正则公理**在[[策梅洛-弗兰克尔集合论]]中表示每个非空集合 $A$ 至少包含一个元素 $x$, 使得 $x$ 与 $A$ 没有交集, 即 $x \cap A = \emptyset$, 这意味着集合不能无限自包含, 从而防止循环集合的存在 - $\forall A (A \neq \emptyset \rightarrow \exists x (x \in A \wedge x \cap A = \emptyset))$