用戶: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]$

這一原則有時也稱為（集合論的）歸納公理，等價於策梅洛-弗蘭克爾集合論中的正則性公理。ε歸納法也可看作是良基關係的特例。