基本元素

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

相关

  • 椅子椅,无靠背的称为凳,是一件用来坐的家具,为脚物家具的一种 ,一般包括一个座位、椅背,有时还包括扶手,通常会有椅脚使座位高于地面。当椅子坐久后坐垫便会热。其他和椅相类似的东西
  • 专性厌氧专性厌氧菌(obligate anaerobes)是一类仅能进行无氧呼吸,且无法在正常大气(氧含量21%)等富氧环境下存活的微生物。这类生物对氧气的耐受力不同,部分专性厌氧菌可以在氧含量达8%的
  • 国家卫生研究院美国国家卫生院(英语:National Institutes of Health,缩写为NIH),隶属于美国卫生及人类服务部,是美国联邦政府中首要的生物医学研究机构。2006年的资料显示,此机构花费美国全国28%
  • 苏格兰– 欧洲(绿色及深灰色)– 英国(绿色)苏格兰(英语、低地苏格兰语:Scotland,/ˈskɒt.lənd/;苏格兰盖尔语:Alba)是英国下属的构成国之一,位于大不列颠岛北部,英格兰之北,被大西洋环绕包
  • 罗吉尔·培根罗吉尔·培根(英语:Roger Bacon,1214年-1294年),英国方济各会修士、哲学家、炼金术士。他学识渊博,著作涉及当时所知的各门类知识,并对阿拉伯世界的科学进展十分熟悉。提倡经验主义,
  • 溶血反应溶血反应泛指红血球的不正常分解死亡的现象。溶血是指红血球的细胞膜因物理因素、化学因素、生物因素等因素受损破裂,内部的原生质从细胞漏出令红血球死亡的现象。“溶血反应
  • 系统综述系统综述(英语:systematic review)是文献探讨(英语:Literature review)一种,为研究有关一特定主题所有高质素的报告,并将之识别,评论并集合。有关随机对照试验(RCT)的系统综述为循证医
  • 现代医学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学医学是以诊断、治疗和预防生理和心理
  • 机器人机器人(英语:Robot)包括一切模拟人类行为或思想与模拟其他生物的机械(如机器狗,机器猫等)。狭义上对机器人的定义还有很多分类法及争议,有些电脑程序甚至也被称为机器人。在当代工
  • 至部,为汉字索引的中的部首之一,康熙字典214个部首中的第一百三十三个(六划的则为第十六个)。就繁体和简体中文中,至部归于六划部首。至部只以左、下方为部字。且无其他部首可用