基本元素

✍ dations ◷ 2025-06-27 13:44:22 #基本元素
在集合论中,基本元素(ur-element, 或urelement)是指那些自身不为集合,但可以是某个集合的元素的数学对象。就是说如果 U 是基本元素,则这一说法是没有意义的,而是完全合理的。这不应该与空集混淆,当我们说这是逻辑上合理的,只不过是假的。基本元素有时也叫做“原子”或“个体”。在叫做 Zermelo-Fraenkel 集合论的标准公理化集合论中,没有基本元素。但是确实有其他公理化集合论使用基本元素,比如:带有基本元素的 Kripke-Platek 集合论。在带有类型的集合论系统中,基本元素有时是类型 0 的对象,所以叫做“原子”。在这种理论中,外延公理需要特殊的形式化和处理。现已发现,向 NF 系统加进基本元素而生成的 NFU系统会产生某些令人惊讶的结论。特别是,NFU 已知是一致的,尽管与 NF 的相对一致性仍是未解的问题。此外,NFU 一致于选择公理而 NF 则不然。

相关

  • 内共生共生体学说(英语:Symbiogenesis),又称内共生学说(英语:endosymbiotic theory),是关于真核生物细胞中的一些自主细胞器ㄧ线粒体和叶绿体起源的学说。根据这个学说,它们起源于共生于真
  • 灭绝灭绝是指一个物种完全消失的自然过程。由于生存竞争的关系,灭绝消灭了一部分物种,但同时也为其他物种的发展和新物种的产生创造了条件。例如白垩纪末期的大灭绝事件,导致了恐龙
  • 放射手术放射手术(英语:Radiosurgery)是利用放射线进行的手术,通过使用电离放射线来精准切除人体组织区域。像其他形式的放射疗法一样,它通常用于治疗癌症。放射手术最初由瑞典神经外科医
  • 寡糖寡糖又称低聚糖,为普遍由3-10个单糖分子聚合而成的碳水化合物。寡糖普遍存在于动物细胞的细胞膜,并有着辨别其他细胞的功能。根据营养专家及许多医学研究,寡糖有类似水溶性膳食
  • 巴伐利亚巴伐利亚自由州(德语:Freistaat Bayern),简称巴伐利亚州,又称拜恩州、拜仁州,是德意志联邦共和国东南部的一个联邦州,其面积位居德国第一(占全国面积1/5)、人口第二(次于北莱茵-威斯特
  • 七鳃鳗七鳃鳗科(学名:Petromyzontidae),又名八目鳗、七星子,是圆口纲七鳃鳗亚纲七鳃鳗目的一个科,其下生物是至今少数仅存的无颌类脊椎鱼形动物之一。最古老的七鳃鳗化石,有3.6亿年历史,在
  • 科学怀疑论倡导者科学怀疑论(英语:Scientific skepticism)又称理性怀疑论(rational skepticism),是一种科学或实务上,对于缺乏证据的解释或论点持怀疑态度的认识论观点。在实务上,科学怀疑论一辞通常
  • 航海工程航海工程(英语:Marine engineering),包括轮机的生产、制造、使用、管理与维修等,是一个复杂的系统。船舶工程师主要关注船只整体设计以及水中推进部分。机械工程师设计主要推进部
  • 四川大学华西医学中心四川大学华西医学中心(英语:West China Center of Medical Sciences of Sichuan University)是四川大学的一个介于大学和学院之间的行政机构。下属学院包括:还包括四所医院:华西
  • 桥港布里奇波特(英语:Bridgeport),或译桥港,是美国康乃狄克州最大的城市 (2010年人口144,229人) 、新英格兰第五大的城市。位于长岛湾岸、佩阔诺克河河口。桥港属温带大陆性气候,四季分