##### 无穷公理 - 无穷公理 - **无穷公理**在[[策梅洛-弗兰克尔集合论]]中表示存在一个集合 $I$, 它包含空集 $\emptyset$, 且对其中任意元素 $x$, 集合 $x \cup \{x\}$ 也属于 $I$. 这确保了自然数集合 $\mathbb{N}$ 的存在 - $\exists I (\emptyset \in I \wedge \forall x (x \in I \rightarrow x \cup \{x\} \in I))$