首页 >
基本元素
✍ dations ◷ 2025-10-29 09:59:55 #基本元素
在集合论中,基本元素(ur-element, 或urelement)是指那些自身不为集合,但可以是某个集合的元素的数学对象。就是说如果 U 是基本元素,则这一说法是没有意义的,而是完全合理的。这不应该与空集混淆,当我们说这是逻辑上合理的,只不过是假的。基本元素有时也叫做“原子”或“个体”。在叫做 Zermelo-Fraenkel 集合论的标准公理化集合论中,没有基本元素。但是确实有其他公理化集合论使用基本元素,比如:带有基本元素的 Kripke-Platek 集合论。在带有类型的集合论系统中,基本元素有时是类型 0 的对象,所以叫做“原子”。在这种理论中,外延公理需要特殊的形式化和处理。现已发现,向 NF 系统加进基本元素而生成的 NFU系统会产生某些令人惊讶的结论。特别是,NFU 已知是一致的,尽管与 NF 的相对一致性仍是未解的问题。此外,NFU 一致于选择公理而 NF 则不然。
相关
- 肌肌肉(拉丁语:Musculus)是一种能收缩的动物组织,属于软组织,由胚胎的中胚层发育而来。肌肉细胞有收缩纤维,会在细胞间移动,并改变细胞的大小。肌肉分为骨骼肌、心肌和平滑肌三种,其功
- 甲状腺功能亢进甲状腺功能亢进症(Hyperthyroidism),又称甲状腺机能亢进症,简称甲状腺亢进、甲亢,是一种由于体内过量的三碘甲腺原氨酸(T3)和 四碘甲腺原氨酸(T4,也即甲状腺素)造成的临床症状。而甲状
- 心血管检查心血管检查是有关心血管的身体检查,可能包括心前区检查(英语:precordial examination)及周边血管检查(英语:peripheral vascular examination)。有些部分的检查可能在坐姿比较容易
- 拉丁美洲拉丁美洲,简称拉美,是美洲的一部分,狭义上包括了以拉丁语族(也称罗曼语族,主要是西班牙语、葡萄牙语和法语)语言为官方语言的美洲国家和地区;广义上包括了美国以南的全部美洲国家与
- 圣奥古斯丁县圣奥古斯丁县(San Augustine County, Texas)是美国德克萨斯州的一个县。面积1,534平方公里。根据美国2000年人口普查,共有人口8,946人。县治圣奥古斯丁(San Augustine)。成立于18
- 马尔马拉海马尔马拉海(土耳其语:Marmara Denizi,希腊语:Θάλασσα του Μαρμαρά),又译马摩拉海,古希腊与古罗马时期则称为普罗庞提斯海,是亚洲小亚细亚半岛同欧洲巴尔干半岛之间
- 牛津大学出版社牛津大学出版社(Oxford University Press,缩写为OUP)是世界上规模最大的大学出版社,排行第二的是剑桥大学出版社,每年出版的书刊逾4000种。该社是牛津大学其中一个部门 ,掌管该社
- 开放科学开放科学(Open Science)是让各社会阶层的人,不分专业或是业余,都可以接触科学研究、资料以及相关传播访问的运动。开放科学的作法包括出版开放研究(英语:Open research),致力开放获
- 维根斯坦路德维希‧约瑟夫‧约翰‧维特根斯坦(德语:Ludwig Josef Johann Wittgenstein,又译维特根施泰因、维特根斯坦;1889年4月26日-1951年4月29日)是一名奥地利哲学家。他生于奥地利,后入
- 暗星暗星(dark star)可能存在于宇宙形成之初,普通的恒星形成之前。大部分恒星都主要由普通物质构成,但暗星主要由中性微子构成,并通过暗物质的湮灭释放能量。这些热量能阻止暗星在重
