Epsilon归纳法

✍ dations ◷ 2025-08-29 19:45:21 #Epsilon归纳法

在数学中, {displaystyle in } 皆满足某性质,即命题成立。 {displaystyle {boldsymbol {in }}}

若只要集合的所有元素皆满足性质就足以推出满足性质,那么所有都满足。

用公式表达是这样:

此公理等价于策梅洛-弗兰克尔集合论中的正则性公理,即断言所有集合皆良基。

相关

  • 雅马邑白兰地雅文邑(法语:Armagnac),又译雅马邑,是一种出产于法国西南部加斯科涅阿马尼亚克(英语:Armagnac (region))的白兰地。白兰地是蒸馏酒,是由巴高(英语:Baco 22A)、鸽笼白(英语:Colombard)、白福
  • 阿尔泰边疆区阿尔泰边疆区 (俄语:Алта́йский край,罗马化:Altaysky kray)是位于俄罗斯西伯利亚联邦管区的一个边疆区,位于西西伯利亚南部与哈萨克斯坦接壤,面积167,996平方千米,是
  • 罗伯特·卡恩罗伯特·艾略特·卡恩(英语:Robert Elliot Kahn,1938年12月23日-),美国电气工程师,与文顿·瑟夫一起发明了传输控制协议(TCP)和互联网协议(IP),这两个协议成为互联网核心通信协议的基础
  • AmOsub2/sub二氧化镅 (AmO2) 是一种黑色的 镅化合物,它可以做为α粒子源,常用于电离式烟雾探测器。固体的二氧化镅为结晶态, 结构类似于萤石与CaF2的结构 。
  • 计算机辅助设计电脑辅助设计(英语:Computer Aided Design, CAD)是指运用电脑软件制作并模拟实物设计,展现新开发商品的外型、结构、彩色、质感等特色的过程。随着技术的不断发展电脑辅助设计不
  • 何其芳何其芳(1912年2月5日-1977年7月24日),原名何永芳,四川万县(现重庆万州)人,中国诗人,散文家,文学评论家,“红学”理论家。北京大学哲学系毕业,是“汉园三诗人”之一。著作主要有散文集《
  • 艾轩艾轩(1947年11月11日-),原名艾圭圭,祖籍浙江省金华府金华县畈田蒋村(今属浙江省金华市金东区),生于河北深县小李庄。中国美术家协会会员、中国油画学会常务理事。北京市政府高级文艺
  • 葛西治葛西治(1941年11月11日-),日本资深男性动画导演、演出家。出身于北海道札幌市。1964年从日本大学艺术学部毕业之后,进入东映动画就职。曾在村山镇雄、薮下泰次的门下学习。1970年
  • 洪波洪波(1959年11月-),男,汉族,山东宁津人。中华人民共和国律师,福建省律师协会名誉会长,中国共产党党员‎,第十三届全国人民代表大会福建省代表。2018年,洪波被选为福建省出席第十三届全国人民代表大会代表。
  • 文清文清(1972年1月1日-),中国电视节目主持人、演员,曾为CCTV3当家花旦,毕业于北京广播学院(今中国传媒大学),后取得北京大学艺术系文学硕士学位。2005年离开央视,现在主要从事影视工作。关于文清离开央视的原因,比较多的说法是工资待遇低。但有网友援引导演张骁(文清前男友)曾在文清离开央视后推出了一部反映电视台性骚扰的电影《我的实习生活》,推测张骁在为女友出气。文清出走央视一事的原因可能未必只是工资待遇问题。