可替代的集合论

✍ dations ◷ 2025-12-07 05:23:17 #可替代的集合论

一般来讲,可替代的集合论(an alternative set theory)是指建立集合概念的其它数学方法。它的正是作为标准集合论的替代而出现的。

一些可替代的集合论:

狭义地,可替代集合论(the Alternative Set Theory,AST)是指一种具体的集合论,它是在70年代至80年代之间由Petr Vopěnka和他的学生所发展的。此理论建立于半集合理论的某些想法上,但也引入了更加激进的改变:例如,在 AST 中所有集合都是“形式上”有限的,也就是说关于集合公式的数学归纳法成立(更精确地说,AST 中只和集合有关的那些公理,和ZF集合论是等价的。其中,无穷公理被它的否命题取代了)。但是这些形式上有限的集合中,有一些包含了不是集合的子类,这使之与康托所定义的有限集(ZF的有限集)有所不同。这些子类称作AST中的无穷集(尽管一些是"非标准有限的"而外在的实际上无限的,还有甚至类可以内在的是无限的)。

相关

  • 过敏性变应性结膜炎(英语:allergic conjunctivitis,亦称为过敏性结膜炎或变态反应性结膜炎)是结膜的过敏性炎症,虽然症状可能非常明显,但通常不会致盲。在发达国家,估计过敏性结膜炎的患
  • 芒特莱克泰勒斯山河阳台(英文:Mountlake Terrace),是美国华盛顿州斯诺霍米什县下属的一座城市。根据 2000年美国人口普查,该市有人口20,362人。根据2010年美国人口普查,该市有人口19,909人。而20
  • 丁一三丁一三(1931年-1996年9月26日),原名薄殿辅,笔名黑雁男、丁力,男,河北宁河人,中国剧作家,中国戏剧家协会理事,曾任中国人民解放军空军政治工作部文工团创作室主任。
  • 安布罗休斯·斯多布安布罗休斯·克里斯托弗森·斯多布(丹麦语:Ambrosius Christoffersen Stub,1705年5月—1758年7月15日)是丹麦诗人。斯多布出生于菲英岛的加缪尔普,具体出生日期不详,于1705年5月17
  • 2011年-2012年约旦反政府示威约旦反对党  *穆斯林兄弟会  *左翼团体 2011-2012年,约旦发生一系列的示威抗议活动,起因为失业问题、通货膨胀、政治腐败等。示威群众要求实行真正的君主立宪,并进行选制改革(
  • 宇宙历宇宙历使宇宙年表可视化,能把宇宙的年龄做更好的展示。在宇宙历中,138亿年的宇宙历史被压缩至1年,可以更好的普及科学教育和大众科学。在宇宙历中,大爆炸发生于1月1日午夜,当前时间为12月31日午夜前的最后一瞬。在这种比例下,宇宙历的每一秒对应现实中的437.5年,每一小时对应157.5万年,每一天对应3780万年。美国宇宙学家卡尔·萨根在他的1977年著作伊甸之龙(英语:The Dragons of Eden)和1980年的电视连续剧宇宙:一次个人旅行(英语:Cosmos: A Personal Voya
  • 前542年
  • 尼诺·布雷尼诺·布雷(Nino Bule,1976年3月19日-),克罗地亚足球运动员,克罗地亚国家足球队成员。从1999年到2004年,他共为克罗地亚国家足球队出场3次。
  • 激情唱响《激情唱响》原名“唱响中国”,是辽宁卫视购买英国《X音素》(The X Factor)版权而引进的一档歌唱真人秀比赛节目,2011年第一季共播10集,2011年7月28日首播,2011年9月30日总决赛,冠军是来自四川省成都市的李尚尚。第二季共播10集,2012年7月12日首播,2012年9月13日总决赛,冠军是来自辽宁省丹东市的陈禹蒙。第三季版权移交给湖南卫视主办,湖南卫视将其改名为《中国最强音》。第一季全国9强选手其他选手:钟蒙修、王博文、艾怡良、陈芳语、伍可歆、苏晴、张薪瑞、刘宇光、B51造声乐团、
  • 二(三苯基锡基)硫二(三苯基锡基)硫是一种有机锡化合物,化学式为C36H30SSn2,或简写为(Ph3Sn)2S。它可由三苯基氯化锡和硫化钠反应制得。在六羰基钼存在下,三苯基氢化锡和二甲基硫代甲酰胺反应,也能得到二(三苯基锡基)硫。它可用于将羰基化合物转化为相应的硫羰基化合物。