基本元素

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

相关

  • 巨细胞病毒巨细胞病毒(拉丁语:Cytomegalovirus,简称CMV)是一种疱疹病毒。感染人类的品种称 human CMV (HCMV) 或Human herpesvirus-5 (HHV-5),是巨细胞病毒中研究最深入的在人类和哺乳动物
  • 过氧化物酶过氧化物酶(EC编号 1.11.1.x)是很大的一族酶,它们通常催化一个下面形式的反应:这一类酶当中有很多酶的最理想底物为过氧化氢,还有一些则有机的氢过氧化物如过氧化脂类。过氧化物
  • 亚美利哥·维斯普西亚美利哥·韦斯普奇(意大利语:Amerigo Vespucci,1454年3月9日-1512年2月22日)是佛罗伦萨商人、航海家、探险家和旅行家,美洲(全称亚美利加洲)是以他的名字命名的。他经过对南美洲东
  • 性传播疾病性感染疾病(英语:Sexually transmitted infections, STI),又称性病(英语:Venereal Disease, VD)或花柳病,描述因性行为(指阴道性行为、肛交和口交)而传播的疾病。大多数的性感染疾病一
  • 骨盆腔发炎感染骨盆腔发炎(Pelvic inflammatory disease,PID)也称为盆腔炎,指的是女性子宫或输卵管受到感染的情形,有些定义也包含卵巢感染。骨盆腔发炎时常无明显的症状可能病征有下腹痛、阴道
  • 阿基斯二世阿基斯二世(古希腊语:Ἄγις B', 英语:Agis II),(?-前399年),前427年—前399年在位,斯巴达埃乌吕彭家族国王,阿基达姆斯二世之子及继承人。公元前426年与公元前425年的阿基达姆斯战
  • LibGen创世纪图书馆(英语:Library Genesis,缩写为LibGen)是科学论文及书籍的搜索引擎,可以免费提供被挡在付费墙(paywall)(英语:paywall)后的内容。截至2018年6月,创世纪图书馆数据库宣称其
  • 颅骨或者头骨、骷髅头是指人类或者许多脊椎动物的头部骨性结构。头骨之功能为支撑脸部,并保护脑部。头骨分为两部分:颅骨和下颌骨。一般所称之‘头颅’通常仅指颅骨,并未包含下
  • 配位化学配位化合物(英语:coordination complex),简称配合物,又称为络合物、络鹽、复合物,包含由中心原子或离子与几个配体分子或离子以配位键相结合而形成的复杂分子或离子,通常称为“配位
  • 泥炭泥炭(英语:Peat,又称为草炭或是泥煤)是煤化程度最低的煤,是煤最原始的状态。随着周围环境的转变,如压力的加大,可以使泥炭变得更加坚固,使之成为褐煤。泥炭在自然状态下,组成物质横跨