基本元素

✍ 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人）、新英格兰第五大的城市。位于长岛湾岸、佩阔诺克河河口。桥港属温带大陆性气候，四季分