User:EtaoinWu/Epsilon归纳法

在数学中，ε归纳法（Epsilon归纳法）是超限归纳法的变种。其在集合论中用以证明所有集合满足一定的性质P[x]。如果集合x的所有元素满足P可以推出x满足P，那么所有x都满足P。用公式表达是这样：

$\forall x{\Big (}\forall y(y\in x\rightarrow P[y])\rightarrow P[x]{\Big )}\rightarrow \forall x\,P[x]$

这一原则有时也称为（集合论的）归纳公理，等价于策梅洛-弗兰克尔集合论中的正则性公理。ε归纳法也可看作是良基关系的特例。