首页 >
基本元素
✍ dations ◷ 2025-04-03 12:37:19 #基本元素
在集合论中,基本元素(ur-element, 或urelement)是指那些自身不为集合,但可以是某个集合的元素的数学对象。就是说如果 U 是基本元素,则这一说法是没有意义的,而是完全合理的。这不应该与空集混淆,当我们说这是逻辑上合理的,只不过是假的。基本元素有时也叫做“原子”或“个体”。在叫做 Zermelo-Fraenkel 集合论的标准公理化集合论中,没有基本元素。但是确实有其他公理化集合论使用基本元素,比如:带有基本元素的 Kripke-Platek 集合论。在带有类型的集合论系统中,基本元素有时是类型 0 的对象,所以叫做“原子”。在这种理论中,外延公理需要特殊的形式化和处理。现已发现,向 NF 系统加进基本元素而生成的 NFU系统会产生某些令人惊讶的结论。特别是,NFU 已知是一致的,尽管与 NF 的相对一致性仍是未解的问题。此外,NFU 一致于选择公理而 NF 则不然。
相关
- 嗜伊红性脑膜炎脑膜炎(英语:meningitis)指发生于脑膜的急性炎症,脑膜是包裹大脑和脊髓的保护薄膜。脑膜炎最常见的症状是发热、头痛和颈部僵硬。其他症状还包含精神错乱(英语:mental confusion)或
- ULAN艺术家联合名录(英语:The Union List of Artist Names,缩写ULAN)是一个使用受控词表的在线数据库(英语:Online database),目前约有293,000个艺术家的名字和其他信息。ULAN中的名称可
- 百年战争百年战争(英语:Hundred Years' War;法语:Guerre de Cent Ans)是1337年至1453年期间,发生在金雀花王朝治下的英格兰王国和瓦卢瓦王朝治下的法兰西王国之间,针对法兰西王国统治权的战
- 个体经济组织个体工商户,简称个体户(个体户一词的其他含义,请参见“个体户”),在中华人民共和国是指以个人财产或者家庭财产作为经营资本,依法经核准登记,并在法定的范围内从事非农业的工商经营
- 寻欢洞寻欢洞(英语:Glory hole)是用来描述一种特殊的性行为。在欧美国家,是颇为常见的,甚至在亚洲国家也可见到。透过公共厕所中隔离的木板或墙壁,中间弄个洞,双方便可以开始鱼水之欢,非常
- 三人三人性行为(英语:threesome)是群交的一种,俚语又称“3P/三劈”、“一王二后”、“起双飞”(MFF、两女一男)、“两王一后”(MMF、两男一女),有时另包括男男性行为或女女性行为。在多配
- 假说假说(英语:Hypothesis),即指按照预先设定,对某种现象进行的解释,即根据已知的科学事实和科学原理,对所研究的自然现象及其规律性提出的推测和说明,而且数据经过详细的分类、归纳与分
- Linnaeus卡尔·冯·林奈(英语:Carl Linnaeus,瑞典语:Carl von Linné,1707年5月23日-1778年1月10日),也译为林内,受封贵族前名为卡尔·林奈乌斯(Carl Linnaeus),由于瑞典学者阶层的姓常拉丁化,又
- 环状DNA环状DNA是形成闭环并且没有末端的DNA。例子包括:
- 曼哈顿曼哈顿(英语:Manhattan; 又叫做曼赫顿,台山话音译为民铁吾)是美国纽约市五个行政区之中人口最稠密的一个区,范围与纽约县(New York County)相同。这个行政区主要由曼哈顿岛组成,并被