可替代的集合论

✍ dations ◷ 2025-12-10 05:09:56 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 哈里河哈里河(波斯语:هری‌رود‎,土库曼语:Tejen,Tedzhen),又名捷詹河,从阿富汗中部山区流入土库曼斯坦,消失于卡拉库姆沙漠中,全长约1150公里,流量每秒31立方米,集水面积约7万平方公里
  • 系统发生学,现代希腊语:fílo - 种系,性别和,现代希腊语:jénnissi - 新生,诞生。英语:Phylogenetics,又称系统发育学,简称为谱系学)是研究生物个体或群体(例如物种或种群)之间的演化历史和关系。
  • 马里昂县 (俄勒冈州)马里昂县(Marion County, Oregon)是美国俄勒冈州西北部的一个县。面积3,093平方公里。根据美国人口调查局2005年估计,共有人口305,265人。县治塞勒姆 (Salem)也是州的首府。184
  • 莫达克莫达克(Modak),是印度拉贾斯坦邦Kota县的一个城镇。总人口6363(2001年)。该地2001年总人口6363人,其中男性3419人,女性2944人;0—6岁人口1141人,其中男630人,女511人;识字率68.02%,其中
  • 孙子涵孙子涵(1992年6月11日-),华语流行音乐男歌手、词曲创作者。2011年以学生歌手身份出道。因创作的音乐作品丰富且点听量高,又被网友称为“音乐小超人”、“数位小天王”。2011年6月
  • 拜勒峰坐标:45°08′17″N 6°08′09″E / 45.13806°N 6.13583°E / 45.13806; 6.13583拜勒峰(法语:Pic Bayle),是法国的山峰,位于该国东南部,由伊泽尔省负责管辖,属于多芬阿尔卑斯山脉中
  • 中华人民共和国国际刑事司法协助法《中华人民共和国国际刑事司法协助法》是一部中华人民共和国法律,该法律于2018年10月26日在第十三届全国人民代表大会常务委员会通过,并于2018年10月26日起施行。《中华人民共和国国际刑事司法协助法》的第一条是“为了保障国际刑事司法协助的正常进行,加强刑事司法领域的国际合作,有效惩治犯罪,保护个人和组织的合法权益,维护国家利益和社会秩序,制定本法。”《中华人民共和国国际刑事司法协助法》的最后一条是“本法自公布之日起施行。”
  • 柯丝蒂·鲍登柯丝蒂·鲍登(英语:Kirsty Bowden,1978年2月21日-),英国女子曲棍球运动员。她曾代表英格兰参加1998年英联邦运动会曲棍球比赛,获得一枚银牌。她也曾参加2000年夏季奥运会。
  • 单次购买成本单次购买成本 CPP (Cost Per Purchase)就是按照每购买一次产品为单位进行网络广告的付费.这种收费方式比较特殊,只在广告主有特殊需求,或针对某些特殊行销个案(如在线产品销售)等时候才被应用起来.相对来说,广告主广告费用风险很小,但媒体站点的风险相对比较高.
  • 湄妙瑞湄妙瑞(英语:Me Myat Shwe,1794年8月10日-1870年9月),皇室尊号为蒂里.帕瓦拉.提拉卡.玛哈.雅达纳.帕杜玛.黛维(Thiri Pavara Tilawka Maha Yadana Padomma Dewi),是缅甸贡榜王朝国王沙耶瓦底的首席王后(Nammadaw Mibaya Khaunggyi),蒲甘王(Pagan Min)的生母,敏东王(Mindon Min)的首席王后萨迦黛维(Setkya Devi)的母亲。湄妙瑞于1794年8月10日出生于缅甸阿摩罗补罗,她是孟标亲王(P