维基百科
epsilon归纳法, 此條目需要补充更多来源, 2021年9月22日, 请协助補充多方面可靠来源以改善这篇条目, 无法查证的内容可能會因為异议提出而移除, 致使用者, 请搜索一下条目的标题, 来源搜索, 网页, 新闻, 书籍, 学术, 图像, 以检查网络上是否存在该主题的更多可靠来源, 判定指引, 在数学中, displaystyle, 归纳法, ε歸納法, 是超限归纳法的变种, 在集合论中, 用以证明所有集合x皆满足某性质p, 即命題p, 成立, displaystyle, boldsymbol, 归纳公理斷言. 此條目需要补充更多来源 2021年9月22日 请协助補充多方面可靠来源以改善这篇条目 无法查证的内容可能會因為异议提出而移除 致使用者 请搜索一下条目的标题 来源搜索 Epsilon归纳法 网页 新闻 书籍 学术 图像 以检查网络上是否存在该主题的更多可靠来源 判定指引 在数学中 displaystyle in 归纳法 1 175 e歸納法 Epsilon归纳法 是超限归纳法的变种 在集合论中 用以证明所有集合x皆满足某性质P 即命題P x 成立 displaystyle boldsymbol in 归纳公理斷言對所有性質P 若只要集合x的所有元素y皆滿足性質P就足以推出x满足性質P 那么所有x都满足P 用公式表达是这样 x y y x P y P x x P x displaystyle forall x left forall y y in x rightarrow P y rightarrow P x right rightarrow forall x P x 1 174此公理等价于策梅洛 弗兰克尔集合论中的正则性公理 即斷言所有集合皆良基 參考文獻 编辑 1 0 1 1 Forster Thomas 8 Set theory 第8章 集合論 Logic Induction and Sets 邏輯 歸納法 集合 Cambridge University Press doi 10 1017 CBO9780511810282 英语 这是一篇关于数学的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title Epsilon归纳法 amp oldid 67841277, 维基百科，wiki，书籍，书籍，图书馆，