基本元素

✍ dations ◷ 2025-07-18 12:30:23 #基本元素

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

相关

桡骨桡骨（拉丁语：radius，复数：radii）是人和脊椎动物（四足）前臂两长骨之一；在某些动物（如蛙和蟾蜍），桡骨与尺骨愈合成桡尺骨。人的桡骨位于大拇指侧，上端为扁圆形的头，上面参与肘关节的组成，而
甘露庚酮糖甘露庚酮糖（英语：Mannoheptulose）是一种庚糖，即有七个碳原子的单糖。它是己糖激酶的抑制剂，通过竞争性地与己糖激酶结合来阻断葡萄糖的磷酸化。结果是葡萄糖的降解被抑制。D-甘露
Netscape.com网景通信（英语：Netscape Communications ），以前称为网景通信公司（Netscape Communications Corporation），大部分通常被简称为网景（Netscape）。网景曾经是一家美国的电脑服务公司，以其
沙奎那韦沙奎那维（saquinavir），商品名Invirase和Fortovase，为一种抗反转录病毒药物，可与其他药物合并治疗艾滋病。通常会与ritonavir（英语：ritonavir）或快利佳合并使用，该药属于口服药物。常
核酸内切酶核酸内切酶（英语：endonuclease）在核酸水解酶中，为可水解分子链内部磷酸二酯键生成寡核苷酸的酶，与核酸外切酶相对应。从对底物的特异性来看，可分为DNaseⅠ、DNaseⅡ等分解DNA的酶；R
价值观价值观（Values）是一种处理事情判断对错、做选择时取舍的标准。有益的事物才有正价值。对有益或有害的事物评判的标准就是一个人的价值观。世界价值观调查（英语：World Values Sur
弗朗西斯一世弗朗索瓦一世（法语：François I，1494年9月12日－1547年3月31日），即位前通常称昂古莱姆的弗朗索瓦（François de Angoulême），又称大鼻子弗朗索瓦（François au Grand Nez），骑士国王（le Ro
肾素1BBS, 1BIL, 1BIM, 1HRN, 1RNE, 2BKS, 2BKT, 2FS4, 2G1N, 2G1O, 2G1R, 2G1S, 2G1Y, 2G20, 2G21, 2G22, 2G24, 2G26, 2G27, 2I4Q, 2IKO, 2IKU, 2IL2, 2REN, 2V0Z, 2V10, 2V11
意大利王国意大利王国可以指：
新闻节目新闻节目是指以报导即时消息、探讨时事，通常定时播出的电台或电视节目。新闻节目通常是由多则新闻报导内容所组成，会由一个或多个主播播报。新闻节目可包括现场或预先录制的访