可替代的集合论

✍ dations ◷ 2025-09-16 21:31:07 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 埃迪卡拉纪埃迪卡拉纪(英语:Ediacaran),又称艾迪卡拉纪、震旦纪、文德纪,是元古宙最后的一段时期。一般指6.35-5.41亿年前。学者曾用这个名字指称不同阶段,直到2004年5月13日,国际地质科学联
  • 氰离子氰化物是特指带有氰离子(CN−)或氰基(-CN)的化合物,其中的碳原子和氮原子通过叁键相连接。这一叁键给予氰基以相当高的稳定性,使之在通常的化学反应中都以一个整体存在。因该基团
  • 嵌入式系统嵌入式系统(Embedded System),是一种嵌入机械或电气系统内部、具有专一功能和实时计算性能的计算机系统。嵌入式系统常被用于高效控制许多常见设备,被嵌入的系统通常是包含数字
  • 马克西姆·高尔基阿列克谢·马克西莫维奇·彼什科夫(俄语:Алексей Максимович Пешков,1868年3月28日(儒略历3月16日)–1936年6月18日),笔名马克西姆·高尔基(俄语:Макси
  • 爱德华·韦斯特马克爱德华·亚历山大·韦斯特马克(瑞典语:Edvard Alexander Westermarck,1862年11月20日-1939年9月3日)是一位芬兰哲学家、社会学。在其著作《人类婚姻史》(1891年)中提出了韦斯特马
  • 爆炸磁通量压缩发生器爆炸磁通量压缩发生器(EPFCG)是一种通过用高爆炸药压缩磁通量产生高能电磁脉冲的装置。由于会在操作时因爆炸而物理上被毁坏,一台EPFCG装置只能产生单一一次脉冲。EPFCG装置可
  • 华韬华韬,十六国时期后秦、夏国人物,安定郡人。416年六月,后秦征北将军姚恢为夏国赫连勃勃所逼,放弃安定,率五千户奔新平,华韬和安定人胡俨等率众抗拒,姚恢单骑归长安。胡俨杀立节将军弥姐成、建武将军裴岐,和华韬率五万户据城投降赫连勃勃。赫连勃勃以胡俨为侍中,华韬为尚书,留镇东将军羊苟儿镇守,配给鲜卑兵五千人。赫连勃勃进军郿城,姚泓派姚绍来对敌,赫连勃勃退到安定。胡俨等袭杀羊苟儿,以城降姚泓。
  • 南林高速公路南林高速公路是位于河南省北部的一条高速公路,全长约170公里。途经南乐、清丰、内黄、安阳市文峰区、龙安区、安阳县、林州七个县市区,2008年12月建成通车。在河南高速路网中的编号为S22。向西连接山西境内的长平高速公路,向东规划在莘县连接山东境内的德商高速公路。又称安南高速公路,已于2008年12月5日建成通车。双向6车道,限速120公里/时,设2个停车区、1个服务区、2个出入口、2座与其它高速公路互通立交。又称安林高速公路,已于2006年10月建成通车。双向4车道,限速100公里/时,设1个服务区、4个
  • 谢广祥谢广祥(1958年7月-),男,安徽金寨人,中华人民共和国政治人物。2004年2月加入中国致公党,淮南矿业学院采矿工程专业毕业,中国矿业大学(北京校区)采矿工程专业博士学历。历任淮南矿业学院助教、讲师、副教授、教授、系主任,淮南工业学院副院长,淮南市人民政府副市长,安徽省人民政府副秘书长等职。2004年11月当选致公党安徽省委主委。2007年12月当选中国致公党第十三届中央委员会常委,2008年1月任安徽省人民政府副省长。2009年8月,中华职业教育社第十次全国代表大会召开,他出任中华职业教育社第十届理事
  • 瓦列里·列昂季耶夫瓦列里·雅科夫列维奇·列昂季耶夫(俄语:Валерий Яковлевич Леонтьев,1949年3月19日-),俄罗斯流行音乐歌手。