Epsilon歸納法

佇咧數學中，$ \ in $ 歸納法（ε 歸納法、Epsilon 歸納法）是超限歸納法的變種，佇咧集合論中，用以證明所有集合 _ x _ 攏滿足某的質 _ P _，即命題 _ P _ [_ x _] 成立。$ { \ boldsymbol { \ in } } $歸納公理斷言對所有的性質 _ P _，

> > 若干焦集合 _ x _ 所有的元素 _ y _ 攏滿足性質 _ P _ 就足推出的 _ x _ 滿足性質 _ P _，遐爾仔所有 _ x _ 攏滿足 _ P _。 > >

用公式表達是按呢：

$ \ forall x \ left ( \ forall y ( y \ in x \ rightarrow P [y] ) \ rightarrow P [x] \ right ) \ rightarrow \ forall x , P [x] . $

此公理等價數佇策梅洛-馮蘭克爾集合論中的正則性公理，即斷言所有集合皆良基。