基本元素

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

相关

  • 转录转录(英语:Transcription)是在RNA聚合酶的催化下,遗传信息由DNA复制到RNA(尤其是mRNA)的过程。作为蛋白质生物合成的第一步,转录是合成mRNA以及非编码RNA(tRNA、rRNA等)的途径。真核
  • 酱油蟹酱油蟹(韩语:게장),韩国五大名菜之一,将未经烹调的生蟹放在酱油中腌制而成,当地民众喜爱直接将白饭加进蟹盖内与蟹黄一起伴吃,故这道菜色又名“偷饭贼”。朝鲜传统医学认为螃蟹性寒
  • 氟西汀氟西汀(英语:Fluoxetine),商品名为百忧解(Prozac)是一种选择性5-羟色胺再摄取抑制剂(SSRI)类抗抑郁药。在临床上用于治疗成人重性抑郁障碍、强迫症、神经性暴食症,还用于治疗具有或不
  • 布鲁塞尔– 欧盟(灰色及浅绿色)– 比利时(灰色)布鲁塞尔(法语:Bruxelles;荷兰语:Brussel)是比利时的首都和最大的城市,也是欧洲联盟的主要行政机构所在地。布鲁塞尔市位于布鲁塞尔-首都大区
  • 印度喀拉拉邦柯枝犹太人,又名马拉巴尔犹太人,是生活在现在印度喀拉拉邦的犹太人。他们是印度最古老的犹太人群体,最早可追溯至所罗门王时代。早在12世纪一个来自西班牙图德拉的犹太旅行家提
  • 红髓红髓,亦作红脾髓,是脾脏的一部分,与白脾髓一起构成脾脏的主要部分。红脾髓的主要功能是过滤和储存血液,由脾索及血窦组成,但因为其不含输入淋巴管,所以脾脏不能过滤淋巴的功能。“
  • 亚里斯多德亚里士多德(希腊语:Αριστοτέλης,Aristotélēs,前384年6月19日-前322年3月7日),古希腊哲学家,柏拉图的学生、亚历山大大帝的老师。他的著作牵涉许多学科,包括了物理学、形
  • 生长激素抑制激素· extracellular region · extracellular space· cell surface receptor linked signaling pathway · G-protein coupled receptor protein signaling pathway · ce
  • 演化的证据此条目为生物演化的证据。查尔斯·达尔文在生物学家中第一个科学地论证了生物的演化,并汇集了系统分类学、生物地理学、比较解剖学、比较胚胎学、古生物学等领域的证据,说明如
  • 冂部,就汉字索引来说,是为部首之一,康熙字典214个部首中的第十三个(两划的则为第七个)。冂部归于二划部首,通常是从上方或下方为部,且无其他部首可用者将部首归为冂部。坰的本字,即