大小限制公理

✍ dations ◷ 2025-07-12 03:40:16 #大小限制公理

在类理论中,大小限制公理声称对于任何类 C,C 是真类(不可以是其他类的元素的类),当且仅当冯·诺伊曼全集 V (所有集合的类)能一一映射到 C。

这个公理由冯·诺伊曼提出。它蕴涵了分类公理模式、替代公理模式和全局选择公理。大小限制公理蕴涵全局选择公理是因为序数的类不是集合,因此有从全集到序数们的单射。所以集合的全集是良序的。

相关

  • 英国国会政治主题大不列颠及北爱尔兰联合王国议会(英语:The Parliament of the United Kingdom of Great Britain and Northern Ireland),中文简称为英国议会或联合王国议会,是英国和英国
  • 李日华明人绘《李日华像》,南京博物院藏李日华(1565年-1635年),字君实,一字九疑,号竹懒、痴居士,浙江嘉兴人。晚明官员,书画家、鉴赏家。李日华生于明世宗嘉靖四十四年(1565年),幼时聪敏,其父“
  • 少年宫站少年宫站是深圳地铁4号线和3号线的换乘站。地处市民中心后花园,位于莲花山的南侧。该站主体位于中国广东省深圳市福田区红荔路与鹏城四路的交汇路口的地下,3号线车站在红荔路
  • 尼古拉斯·伯格鲁恩Nicolas Berggruen (生于1961年8月10日)是一名慈善家和投资人,拥有美国和德国双重国籍。 他是私有企业Berggruen Holdings的主席,也是智囊团 Nicolas Berggruen Institute的主席
  • 李国英李国英可以指:
  • 施塔特魏尔湖 (肯普滕)坐标:47°42′44″N 10°17′14″E / 47.71215°N 10.2873°E / 47.71215; 10.2873施塔特魏尔湖(德语:Stadtweiher),是德国的湖泊,位于该国东南部,由巴伐利亚州负责管辖,处于肯普滕,
  • 贝特尔·托瓦尔森阿尔伯特·贝特尔·托瓦尔森(Bertel Thorvaldsen,(1770年11月19日-1844年3月24日))是一位丹麦雕塑家。托瓦尔森出生于哥本哈根,父亲是来自冰岛的木雕匠,他在丹麦皇家艺术学院就学,赢
  • 西班牙国庆日西班牙国庆日(西班牙语:Fiesta Nacional de España),原先的名称是“西班牙日”,乃为纪念公元1492年10月12日,航海家哥伦布到达美洲大陆这个扩展西班牙国威的伟大航海成就,因此又为“哥伦布日”。自1987年起,哥伦布日被西班牙政府定位为西班牙的国庆日,在每年的庆祝仪式上,多由西班牙国王主持阅兵大典检阅三军部队。
  • 汉斯·雅各布松汉斯·雅各布松(瑞典语:Hans Jacobson,1947年3月17日-1984年7月9日),瑞典男子击剑、现代五项运动员。他曾获得1976年夏季奥运会击剑比赛男子重剑团体金牌。他也参加了1968年和1980年夏季奥运会,其中1968年参加现代五项项目,1980年参加击剑项目。
  • 无我明妃无我明妃(梵文Nairātmyā,中文音译“艿哈特蜜娅”,藏文' bdag med ma),藏传佛教无上瑜伽部(梵文 Anuttarayoga Tantra)主尊欢喜金刚之明妃,著名瑜伽女(yoginī),象征般若智慧。Nair 译为“无”,ātmyā 译为“我”(阴性形式),无我即为所证悟之空性。无我明妃与其配偶吉祥欢喜金刚常现悲智结合双身拥抱形像,有时也现散坐或游戏坐单身形像。