基本元素

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

相关

  • 逆转录酶结构 / ECOD(RNA-dependent DNA polymerase,RDDP)逆转录酶是一类存在于部分RNA病毒中具有逆转录活性、能以单链RNA为模板合成DNA的酶。由逆转录酶催化逆转录合成的DNA称为互补D
  • 亚斯伯格症候群阿斯伯格综合征(英语:Asperger syndrome,简称 AS),是广泛性发育障碍(PDD)中的一种综合征,属于自闭症谱系障碍(ASD)。其重要特征是社交与非言语交际的困难,同时伴随着兴趣狭隘及重复特定
  • 凯特灵坐标:52°23′35″N 0°43′23″W / 52.39312°N 0.72292°W / 52.39312; -0.72292凯特灵(Kettering)是英国的一座城市,位于北安普敦郡。
  • 共价化合物共价键(英语:covalent bond),是化学键的一种。两个或多个非金属原子共同使用它们的外层电子(砷化镓为例外),在理想情况下达到电子饱和的状态,由此组成比较稳定和坚固的化学结构叫做
  • 拉贾斯坦邦拉贾斯坦邦(印地语:राजस्थान,拉丁字母转写:Rajasthan)位于印度西部,与巴基斯坦相接壤,是印度境内的一个邦。该邦官方语言是拉贾斯坦语而除此之外包括信德语、古吉拉特语和
  • 玻尔效应玻尔效应(英语:Bohr effect),1904年由丹麦生理学家克里斯蒂安·玻尔首先提出,即:氢离子(低 pH)和二氧化碳会降低血红蛋白与氧气的亲和力,促进血红蛋白释放氧气。产生该效应的原因为质
  • 卡萨博纳卡萨博纳(意大利语:Casabona),是意大利克罗托内省的一个市镇。总面积68平方公里,人口2904人,人口密度42.7人/平方公里(2009年)。
  • 工奴《包身工》,中国现代作家夏衍所著的报告文学作品,写于1935年。《包身工》一文以报告文学的形式叙述了上海等地包身工遭遇的种种非人的待遇,以及带工老板等人对他们残忍的压榨。
  • 口语口头语,与书面语相对,是口头交际时使用的语言,是最早被人类普遍应用的语言形式。人类各民族都有口头语。口头语通常是通过声音传播的,但有时文学作品中也常以文字记叙口头语。
  • 技术接受模型技术接受模型(Technology Acceptance Model,简称TAM,又称科技接受模型)是由美国学者戴维斯(Fred D. Davis, 1986)根据理性行为理论(Theory of Reasoned Action,简称TRA)在信息系统/计