首页 >
基本元素
✍ dations ◷ 2024-12-22 21:51:36 #基本元素
在集合论中,基本元素(ur-element, 或urelement)是指那些自身不为集合,但可以是某个集合的元素的数学对象。就是说如果 U 是基本元素,则这一说法是没有意义的,而是完全合理的。这不应该与空集混淆,当我们说这是逻辑上合理的,只不过是假的。基本元素有时也叫做“原子”或“个体”。在叫做 Zermelo-Fraenkel 集合论的标准公理化集合论中,没有基本元素。但是确实有其他公理化集合论使用基本元素,比如:带有基本元素的 Kripke-Platek 集合论。在带有类型的集合论系统中,基本元素有时是类型 0 的对象,所以叫做“原子”。在这种理论中,外延公理需要特殊的形式化和处理。现已发现,向 NF 系统加进基本元素而生成的 NFU系统会产生某些令人惊讶的结论。特别是,NFU 已知是一致的,尽管与 NF 的相对一致性仍是未解的问题。此外,NFU 一致于选择公理而 NF 则不然。
相关
- 哺乳动物哺乳动物是指脊椎动物亚门下哺乳纲(学名:Mammalia)的一类用肺呼吸空气的温血脊椎动物,因能通过乳腺分泌乳汁来给幼体哺乳而得名。按照《世界哺乳动物物种》(Mammal Species of th
- 溴苯那敏溴苯那敏(Brompheniramine)是一种用于过敏症状的药物,属于第一代组胺H1受体拮抗剂(又称抗组织胺药),化学式C16H19BrN2。其盐类马来酸溴苯那敏(Brompheniramine maleate)常用于药
- 黄斑水肿黄斑水肿是一种发生在眼睛内的黄斑后面的视网膜水肿,一般来说,水肿是由一些液体和蛋白质造成有关部位的增厚和膨胀。肿胀可能会扭曲一个人的中央视力,因为黄斑是眼球中心附近的
- 婚假婚假是法律容许工作者因结婚而休假,工资如数支付。在世界上这是并不常见的法律,例子包括马耳他(两工作天 "two working days")及爱尔兰。山西省是特别的享有30天的假期,青海省是
- 东洋文库坐标:35°43′52.61″N 139°44′54.82″E / 35.7312806°N 139.7485611°E / 35.7312806; 139.7485611财团法人东洋文库是日本最大、也是全球第五大的亚洲研究图书馆,位于东
- 除爪手术除爪手术或称去爪,是以外科手术方式将动物的爪子去除,被施以手术的对象多半是家猫,偶尔也有可能是其他动物像是马戏团的狮子或熊。这种手术的过程包含截断该动物全部或部分的趾
- 聚乙烯聚乙烯(polyethylene,缩写:PE)是日常生活中最常用的高分子材料之一,是塑料的一种,大量用于制造塑料袋,塑料薄膜,牛奶桶的产品,也是白色污染的主要原因。单体为乙烯(化学式C2H4),乙烯亦可
- 静息电位静息电位,或称静态电位、静止电位、静止膜电位、休息电位、休息膜电位(英文:resting potential),是神经元处于相对静止状态时,细胞膜内外存在的恒定电位差。其主要成因源于钠钾
- 神兽属陆氏神兽(学名:Shenshou lui)是一种生活在约1亿6000万年前的小型哺乳动物,其化石发现于辽宁省建昌县的髫髻山组地层。该动物体重约300克。有2对门齿、3对前臼齿、4对臼齿,多个尖
- 遗迹遗迹,又称遗址,是古代人类遗留下来的建筑物遗址与生活环境的遗址,属于考古学概念。例如:古代皇宫、陵墓、万里长城、金字塔、神社、寺庙、帕德嫩神庙等。大多遗址的特点表现为不