可替代的集合论

✍ dations ◷ 2025-12-06 23:12:51 #可替代的集合论

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

一些可替代的集合论：

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

相关

加拿大安乐死议题安乐死在加拿大的法律形式被称为医疗辅助自杀，并于2016年6月合法，以减轻“可预见的自然死亡”严重的病人的痛苦。在加拿大，协助自杀有严格的规则管理。安乐死不适用于未成年人，
运钞车运钞车，（英语：Armored car或armor cash carrier），是用于运送钞票、现金、贵金属及其他贵重物品的装甲车辆。除了车身有防弹、防爆设计，为避免车辆遭窃、遭劫持甚至监守自盗，运钞车
方素珍方素珍，宜兰县罗东人，1957年生，台湾儿童绘本作家，1975年开始从事儿童文学相关创作，著有《娃娃的眼睛》、《祝你生日快乐》、《一只猪在网络上》等与儿童文学有关的创作、翻译等七
拉姆与嘎贝拉姆与嘎贝（英语：），松太加执导和编剧，索郎尼马、德姬、赛却加主演的藏语剧情片，2019年9月21日在第67届圣塞巴斯蒂安电影节首映。《拉姆与嘎贝》讲述两名藏族青年拉姆与嘎贝去登记
伊萨库乡坐标：59°06′05″N 27°18′29″E / 59.10139°N 27.30806°E / 59.10139; 27.30806伊萨库乡（爱沙尼亚语：Iisaku vald），是爱沙尼亚的一个乡，位于该国东北部，由东维鲁县负责管辖，首
戴金川戴金川（1918年－2000年），男，直隶（今河北）高阳人，中华人民共和国军事人物，中国人民解放军少将，曾任中国人民解放军总后勤部副政治委员兼政治部主任。
梁朝桂梁朝桂（?－1794年），甘肃广武营人（今宁夏青铜峡市广武人）。乾隆三十六年（1771年）莎罗奔之孙索诺木击杀革布什扎土司，小金川土司僧格桑趁机攻打鄂克什和明正土司。第二次金川之役爆发。
2011年世界游泳锦标赛公开水域游泳比赛2011年世界游泳锦标赛公开水域游泳比赛为第十四届世界游泳锦标赛的其中一个比赛项目，共设有男子及女子5公里、10公里、25公里，以及5公里团体计时
迈克尔·布洛姆奎斯特迈克尔·布洛姆奎斯特（英语：Michael Blomquist，1981年8月14日－），美国前男子赛艇运动员。他曾代表美国参加2005年世界赛艇锦标赛，获得男子八人单桨有舵手金牌。
数据安全数据安全是指人们采取各种措施保护数码资料的安全（例如数据库中的数据），如不让数据库中的数据受到破坏性影响以及不让数据受到未经授权的用户行为的影响，如网络攻击以及数据泄露。