Epsilon归纳法 在数学中  displaystyle in  归纳法ε歸納法Epsilon归纳法是超限归纳法的变种在集合论中用以证明所有集合x皆满足某性质P即命題Px成立  displaystyle boldsymbol in  归纳公理斷言對所有性質P 若只要集合x的所有元素y皆滿足性質P就足以推出x满足性質P那么所有x都满足P 用公式表达是这样  x   y  y  x  P  y    P  x     x  P  x   displaystyle forall xleftforall yyin xrightarrow Pyrightarrow Pxrightrightarrow forall xPx 此公理等价于策梅洛弗兰克尔集合论中的正则性公理即斷言所有集合皆良基