Loading AI tools
来自维基百科,自由的百科全书
在数学中,归纳法[1]:175(ε歸納法、Epsilon归纳法)是超限归纳法的变种,在集合论中,用以证明所有集合x皆满足某性质P,即命題P[x]成立。归纳公理斷言對所有性質P,
若只要集合x的所有元素y皆滿足性質P就足以推出x满足性質P,那么所有x都满足P。
此條目需要补充更多来源。 (2021年9月22日) |
用公式表达是这样:
此公理等价于策梅洛-弗兰克尔集合论中的正则性公理,即斷言所有集合皆良基。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.