基本元素

✍ dations ◷ 2025-11-18 16:52:36 #基本元素

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

相关

世代交替世代交替是所有陆生植物与某些藻类的生活史繁殖中，有单倍体、双倍体个体（或组织）交替的现象的称谓。某些藻类的孢子体与配子体可能是有相同或不同外观的各自独立的生物体。苔藓
国际经济学国际经济学，是经济学的一门分支学科，主要探讨在跨国的经济活动中，生产与消费的循环过程。此学科以宏观的角度，则是着重于各国之间的贸易、投资与移民议题分析。其分支研究为国际
极地地球的极地为于地球两极附近的地区（纬度66.5°以上）。北极和南极为其中心地；北极的北冰洋和南极的南极大陆皆被大量的冰层包围。现时位于两极的海冰正因人为全球暖化而在溶化。
乳杆菌属见内文乳杆菌属（Lactobacillus）即为乳酸杆菌，是一群存在于人类体内的益生菌。乳杆菌因能够将碳水化合物发酵成乳酸而得名，可用于制造液态酸奶、固态奶酪、德国酸菜、啤酒、葡萄
责任制责任制（Exempt Employee）存在某些工作职位上，原本是指管理、高阶、专业人士，或是创意工作者，因为本身的特殊性质，而不必受到固定上下班时间限制，完成自己负责的工作后即可下班，不需
伊特鲁里亚伊特鲁里亚（Etruria），也译作伊特鲁利亚、埃特鲁里亚、伊楚利亚，是处于现代意大利中部的古代城邦国家。伊特鲁里亚的位置在包括了现今托斯卡纳、拉齐奥、翁布里亚的区域。伊特鲁
厌氧氨氧化菌厌氧铵氧化菌(anaerobic ammonium oxidation, Anammox)是一类细菌，属于浮霉菌门，包括(Candidatus Brocadia)、(Candidatus Kuenenia)和, Candidatus "Anammoxoglobus", Candid
仿生人人型机器人（英语：Android），又称仿生人，音译安卓，是一种旨在模仿人类外观和行为的机器人（robot）尤其特指具有和人类相似肌体的种类。直到最近，人型机器人的概念还主要停留在科学幻想
食食部，为汉字索引中的部首之一，康熙字典214个部首中的第一百八十四个（九划的则为第九个）。就正体中文中，食部归于九划部首，而简体中文则把偏旁简化，成三划。食部只以左方、下方为部
卢森堡市卢森堡（法语：Luxembourg；德语：Luxemburg；卢森堡语：Lëtzebuerg），又称卢森堡城（法语：Ville de Luxembourg；德语：Stadt Luxemburg 或 Luxemburg-Stadt；卢森堡语：Stad Lëtzebuerg 或 d'Stad），