冯·诺伊曼全集

✍ dations ◷ 2025-11-21 05:19:19 #集合族

在集合论和有关的数学分支中，冯·诺伊曼全集或冯·诺伊曼集合层次，是由所有集合组成的类，可以分成超限阶级的个体集合（a transfinite hierarchy of individual sets）。

它可以用超限归纳法定义为如下：

等价的说，对于任何序数α，设 $V_{\alpha }:=\bigcup _{\beta <\alpha }{\mathcal {P}}(V_{\beta })\!$ _ω是继承有限集合的集合，它是不带有无穷公理的集合论的模型。_ω+ω是普通数学的全集。它是Zermelo集合论的模型。如果κ是不可及基数（英语：Inaccessible cardinal），则_κ是Zermelo-Fraenkel集合论自身的模型，而_κ+1是Morse–Kelley集合论的模型。

注意所有个体阶段_α都是集合，但是它们的并集是真类。在中的集合叫做继承良基集合；基础公理要求所有集合是良基的而因此是继承良基的。（也有的公理系统忽略基础公理，或把基础公理替换为其强否定，如Aczel的反基础公理，不过这类系统很少被用到）。

给定任何集合，使得是某个_α的子集的最小序数α是的阶（或继承等级）。

有两种不同的方式来理解冯·诺伊曼全集和ZFC的联系。粗略的说，形式主义者倾向于把看作是从ZFC公理推出的某种东西（例如，ZFC证明了所有集合都在中）。在另一方面，实在论者会把冯·诺伊曼全集看作从直觉可直接触及的某种东西，而把ZFC公理看作在中为真的命题，透过简单论证（透过自然语言），可以使人信服它们的真确性。一个可能的中间立场是，冯·诺伊曼层次的形象化概念给ZFC公理提供了一个动机（所以这些公理不是任意提出来的），但这不意味ZFC公理确实有描述真实存在的对象。

相关

机顶盒数字视频转换盒（英语：set-top box，缩写：STB）是一个连接电视机与外部信号源的设备。它可以将源信号转成电视内容，并在电视机上显示出来。信号可以来自有线电缆、卫星天线、宽带网络
1883年
赞尼特期赞尼特期（亦被称为兰登期、海尔斯期、塔内提期）是古新世的最后一个时期，与晚古新亚世相对应。其起止时间分别为59.2百万年前和56百万年前。该阶名字来源于在伦敦盆地发现的最古
翩翩《翩翩》是蒲松龄的小说《聊斋志异·卷三》中的一个故事。翩翩是故事中的女主人公，一个仙女。故事中的男主角陕西彬县人罗子浮是一位官宦子弟。14岁时就开始嫖娼，并且和妓女去
暴孟奇暴孟奇（1528年－？年），字纯甫，号玉溪，山西屯留人，明朝政治人物，同进士出身。山西乡试第四名举人。嘉靖四十四年（1565年）中式乙丑科进士。历任户部主事，河南道监察御史、卫辉府知府，陕西临巩
王钟声王钟声（1889年－1911年12月3日），原名希普（一说字熙普），艺名钟声，原籍浙江上虞（今上虞市），清朝末期戏剧家。王钟声自幼聪敏好学，清光绪二十年（1894年），至上海学习外文。甲午战争（1894年）战败后，
孙大涌孙大涌（？－），中华人民共和国热处理工艺专家、政治人物，中国科学技术协会原副主席、荣誉委员，第八届全国政协委员。
失能开关失能开关（英语：Dead man's switch）是一种在操作者失去行为能力，诸如死亡、失去意识（英语：Unconsciousness）或者离开控制设备时，能自动动作的开关。原指应用于车辆或者机器的开关，后来
陈开枝陈开枝（1940年5月－），男，汉族，广东云浮人，中华人民共和国政治人物。1960年，在华南师范大学学习。1964年，广东省委政策研究室；1966年，广东省委农村“文革”办公室；1969年，广东省革命委员会
梁士模梁士模，字范西，广西北流人，1883年（清光绪九年）生，1941年（民国30年）2月3日逝世。1905年毕业于两广师范学堂，旋任悟州府中学堂教习。1909年被选为拔贡，授职知县。1912年被选为广西省议