text: 在數學中，formula_1歸納法:175是超限歸納法的變種，在集合論中，用以證明所有集合"x"皆滿足某性質"P"，即命題"P"["x"]成立。formula_2歸納公理斷言對所有性質"P"，若只要集合"x"的所有元素"y"皆滿足性質"P"就足以推出"x"滿足性質"P"，那麼所有"x"都滿足"P"。用公式表達是這樣：formula_3:174此公理等價於策梅洛-弗蘭克爾集合論中的正則性公理，即斷言所有集合皆良基。
metadata: erhwenkuo/wikipedia-zhtw
metadata: Epsilon歸納法
metadata: https://zh.wikipedia.org/wiki?curid=6113297