可替代的集合论

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

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

一些可替代的集合论：

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

相关

联邦最高法院联邦最高法院（德语：Bundesgerichtshof，简称BGH）是德国普通法院系统的最高法院，是德国民事和刑事案件的终审法院。为德国5个联邦终审法院之一，另外四个是联邦最高劳工法院、联邦最
梅拉妮·贝林格梅拉妮·贝林格（Melanie Behringer）（1985年11月18日－）生于洛拉施，德国女足运动员，司职中场。她现效力于弗赖堡女足以及德国国家队。贝林格在SpVgg Utzenfeld青年队开始了他的足球生
阿尔弗雷德·盖斯利阿尔弗雷德·盖斯利（英语：Sir Alfred Gaselee；1844年6月3日－1918年3月29日），是英国中将，参加过第二次英国-阿富汗战争。1900年中国爆发了义和团运动，出任英国远征军司令，与其他国家的
独活寄生汤独活寄生汤属于中医方剂的治风剂，出自《备急千金要方》，由15味中药组成，是用以治疗风寒湿痹的常用方剂，症状可见腰膝作痛，冷痹无力，屈伸不便。《医方集解》将本方归于足少阴厥阴药
武岭坐标：24°08′12.8″N 121°16′37.6″E / 24.136889°N 121.277111°E / 24.136889; 121.277111武岭，旧名佐久间峠(鞍部)、南岭，海拔3275米，是台湾公路最高点，位于台14甲线31.5
国际奥林匹克委员会第112次全体会议国际奥林匹克委员会第112次全体会议于2001年7月12日至16日在俄罗斯莫斯科召开，此次会议的主要议程包括投票产生2008年夏季奥林匹克运动会主办城市及选举第8任国际奥林匹克委
前841年
卡斯帕·博格伦德保基伦（丹麦语：Kasper Bøgelund Nielsen，1980年10月8日－），生于欧登塞，是一名丹麦足球员，担任右后卫，现效力丹麦超级联赛球会阿尔堡。他是2002世界杯及2004欧洲国家杯国家队成员。个人
安·吉莉恩安·吉莉恩（英语：Ann Jillian，1950年1月29日－），女，美国演员。曾获得金球奖限定剧电视电影最佳女主角。
死后分娩死后分娩是指孕妇死后死去的胎儿从孕妇尸体的阴道口排出的过程。孕妇死后腹腔内产生的腐败气体将死胎挤出孕妇尸体。出现死后分娩的情况非常罕见。人死后，腹腔内器官（如胃、肠等）中的细菌分解尸体产生气体，尸体因而膨胀。于女性尸体中，这些气体可能会造成子宫脱垂，将子宫挤压出阴道口外，于子宫内有胎儿之情形下，胎儿可能随着子宫一同被排出阴道口。