基本元素

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

相关

  • 聚合酶链式反应聚合酶链式反应(英文:Polymerase chain reaction,缩写:PCR,又称多聚酶链式反应),是一项利用DNA双链复制的原理,在生物体外复制特定DNA片段的核酸合成技术。通过这一技术,可在短时间内
  • 埃博拉病毒埃博拉病毒属(学名:Ebolavirus)是丝状病毒科的其中一种病毒,可导致埃博拉出血热,罹患此病可致人于死,包含数种不同程度的症状(包括恶心、呕吐、腹泻、肤色改变、全身酸痛、体内出血
  • DICOM医疗数位影像传输协定(DICOM,Digital Imaging and Communications in Medicine)是一组通用的标准协定,在对于医学影像的处理、储存、打印、传输上。它包含了档案格式的定义及网
  • 酵素酶(英语:Enzyme(/ˈɛnzaɪm/ )),是一类大分子生物催化剂。酶能加快化学反应的速度(即具有催化作用)。由酶催化的反应中,反应物称为底物,生成的物质称为产物。几乎所有细胞内的代谢过
  • 中国-康奈尔-牛津计划中国-康奈尔-牛津计划(China–Cornell–Oxford Project)是20世纪80年代在中国农村对于流行病的大型观察性研究,由康纳尔大学、牛津大学和中国政府共同出资1990年5月,《纽约时报
  • 纽约大学纽约大学(英语:New York University,缩写为NYU)是一所位于纽约市曼哈顿的研究型私立大学。主要的校区位于曼哈顿格林威治村的附近区域,以华盛顿广场为中心。于1831年成立,今日已经
  • 让·布里丹让·布里丹(Jean Buridan,拉丁文写法为Joannes Buridanus;1292年-1363年),法国哲学家,经院哲学博士,欧洲宗教怀疑主义倡导者。在西方1340年,再造了冲力说理论。思想实验布里丹之驴就
  • 上臂臂是动物上肢的一部分,通常指从肩膀到手腕的肢体部分。臂包含上臂与前臂,而其中的关节为肘。上臂骨称作肱骨,其上端为肩关节,下端为肘关节。上臂的肌肉有肱二头肌、肱三头肌、肱
  • 苯基苯基(Phenyl group)是从苯(C6H6)获得的一个疏水性芳香族官能团。它的分子式为-C6H5。它经常简写为-Ph。这种烃基可在许多有机化合物中找到,苯酚、苯胺等分子结构中都含有这种基
  • 柠檬酸合酶柠檬酸合成酶(英语:Citrate synthase,EC 2.3.3.1)几乎存在于所有活细胞中并且是催化三羧酸循环第一步的一个限速酶。此酶存在于真核细胞的线粒体中,但它是由细胞核DNA而非线粒体D