檢視 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] . $

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

==參考文獻==

[[分類: 待校正]]