基本元素

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

相关

  • 非细胞生物非细胞生物(Non-cellular life)是没有细胞结构存在的生命。这个词的一般指的是系统进化中科学的分类的病毒这一类生命形式。那些假设的人工生命,自我复制机器,最简单的能够自我
  • 地中海饮食地中海饮食是很受现代营养学推荐的一种饮食模式,源自于1940-1950年代环地中海地区及国家(希腊、意大利南部及西班牙)的传统饮食型态。其以大量橄榄油、豆科植物、天然谷物、
  • 体重减轻减肥学(bariatrics)是医学的一个分支,目的在探讨肥胖症的起因、预防及治疗。一般简称为减肥、纤体、瘦身或秀身,是指采用人为手段故意降低体重,特别是减少体内的脂肪。减肥的原因
  • 盆腔髋(拉丁语:pelvis),又称腰带、骨盆、盘骨,是一个骨骼构造,位于脊椎末端,连接脊柱和股骨,与四足动物的后肢、双足动物的下肢相连。股骨与腰带在臀部连接处形成髋关节,它是球窝关节。健
  • 欧洲紫杉醇欧洲紫杉醇是紫杉烷药物类(包括化疗药物紫杉醇)的成员,是一种半合成药物,可以"10-Deacetylbaccatin"制备。是一种临床上行之有效的化疗药物,它通过与细胞分裂干扰。欧洲紫杉醇由
  • 赫茲赫兹(符号:Hz)是频率的国际单位制单位,表示每一秒周期性事件发生的次数。赫兹是以首个用实验验证电磁波存在的科学家海因里希·赫兹命名,常用于描述正弦波、乐音、无线电通讯以及
  • 酶列表此页面是一个关于酶的列表,按照EC编号排列。EC1:氧化还原酶  EC2:转移酶  EC3:水解酶  EC4:裂合酶  EC5:异构酶  EC6:连接酶EC1:氧化还原酶  EC2:转移酶  EC3:水解酶 
  • 彗星彗星(希腊语:Κομήτης,德语:Komet,英语:Comet,有时也被误记为慧星)是由冰构成的太阳系小天体(SSSB),当其朝向太阳接近时,会被加热并且开始释气,展示出可见的大气层,也就是彗发,有时也
  • 启普发生器启普发生器是由荷兰化学家启普(Petrus Jacobus Kipp)发明的一种实验室玻璃仪器,用于制取氢气等气体。启普发生器由球形漏斗、容器和导气管三部分组成,外形类似一个雪人。使用前
  • 手套箱手套箱是实验室的一种惰性气体保护设备,水氧含量很低,国际标准是水和氧小于1ppm,使实验者可以用手进行实验操作但没有直接接触。形状一般是完全封闭的箱状,前方或全体透明。有两