Epsilon归纳法

✍ dations ◷ 2025-06-29 06:32:54 #Epsilon归纳法

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

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

用公式表达是这样:

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

相关

  • 扁桃体炎扁桃体炎(Tonsillitis),或称扁桃腺炎,通常会快速发病。扁桃体炎属于咽炎的一种。其症状包括咽喉痛、发烧、扁桃腺肿大、吞咽困难、颈部的淋巴结肿大(英语:Lymphadenopathy)。并发症
  • 政府首脑政府首脑是国家(或地区)政府或内阁的领导人。在议会制政治体制下一般为总理(如德国),或称首相(如英国),或内阁总理大臣(如日本)等。在总统制政治体制下一般为总统(总统同时也是国家元首
  • 江华瑶族自治县江华瑶族自治县是湖南省永州市下辖县,位于湘、粤、桂三省(区)结合部,分别与广东、广西各三个县(市、区)相邻。地理坐标为东经110°25′-112°10′,北纬24°38′-25°15′,南北长77.9
  • 丹尼尔·拜文丹尼尔·L·拜文(Daniel L. Byman;?-),美国乔治城大学渥许外交学院政治学教授,布鲁金斯学会高级研究员兼主任。安默斯特学院宗教系学士、麻省理工学院政治科学博士,他研究的领域主要
  • 多脉藤春多脉藤春(学名:)为番荔枝科藤春属的植物,为中国的特有植物。分布于中国大陆的云南等地,生长于海拔1,450米的地区,多生长在山地密林中,目前尚未由人工引种栽培。
  • 日本国铁115系电力动车组115系电车是日本国有铁道在1963年~1983年年间设计并制造的近郊型直流列车,最高速度可达100km/h。115系先后被日本国有铁道、JR东日本、JR东海、JR西日本、信浓铁道、伊豆急行
  • 君士坦丁·孔多米忒君士坦丁·孔多米忒(希腊语:Κωνσταντῖνος ὁ Κοντομύτης,活跃时期为841年-860年)是拜占庭帝国的贵族与将领。作为色雷斯西亚军区的将军,他在841年沉重打击
  • 潘斯濂潘斯濂(1823年-1881年),字兆瑞,别字莲舫。广东省南海县人。清朝官员。潘斯濂于道光二十七年(1847年)考中丁未科二甲第三十名进士。选翰林院庶吉士,散馆授翰林院编修。同治三年(1864年
  • 辛几何辛几何(英语:Symplectic geometry),也叫辛拓扑(英语:Symplectic topology),是微分几何的一个分支。其研究对象为辛流形,亦即带有闭非退化2-形式的微分流形。辛拓扑源于经典力学的哈密
  • 亚历山大·亚历山德罗维奇·米库林亚历山大·亚历山德罗维奇·米库林(1895年2月14日-1985年5月13日),苏联飞机发动机设计师,米库林设计局负责人。苏联科学院院士。其舅舅是著名的航空工程理论家尼古拉·叶戈罗维奇·茹科夫斯基。1943年组建米库林航空发动机设计局和第300工厂,任负责人。1955年1月10日由于超高音速发动机路线之争被解职,被谢尔盖·图曼斯基替代。