Epsilon歸納法

在數學中 ， 歸納法 （ ε歸納法 、 Epsilon歸納法 ） 是超限歸納法的變種 ， 在集合論中 ， 用以證明所有集合x皆滿足某性質P ， 即命題P [ x ] 成立 。 歸納公理斷言對所有性質P ， 若只要集合x的所有元素y皆滿足性質P就足以推出x滿足性質P ， 那麼所有x都滿足P 。 用公式表達是這樣 ： 此公理等價於策梅洛 - 弗蘭克爾集合論中的正則性公理 ， 即斷言所有集合皆良基 。