可替代的集合论

✍ dations ◷ 2025-11-21 11:19:31 #可替代的集合论

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

一些可替代的集合论：

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

相关

丹老镇丹老镇（缅甸语：မြိတ်မြို့နယ်，英语：Myeik Township），又译墨吉镇，为缅甸德林达依省丹老县的镇区。2014年人口284,489人，区域面积1,216.8平方公里。该镇下分205个村庄。
曹楚生曹楚生（1926年6月2日－2017年11月19日），出生于湖北武汉，原籍江苏无锡，中国水利工程学家，中国工程院院士。1948 年7月毕业于上海交通大学。1987年起在天津大学任教。1999年当选中国工
胡媛媛胡媛媛（ Vivienne Hu，薇薇安胡），出生于中国，求学于德国并在纽约开创了个同名品牌的华裔时装设计师。胡媛媛出生于并成长于中国安徽的一个从商的家庭。她曾在德国生活六年，并于20
怒火狂飙《怒火狂飙》（英语：Drive Angry），2011年美国3D动作片，由尼古拉斯·凯奇、安伯·赫德和威廉·菲德内尔主演，帕特里克·路席尔所执导。于2011年2月25日上映，累积票房3千多万。本该死
五位七十五法最初僧伽 ├ 大众部　├ 一说部　├ 说出世部　├ 灰山住部　├ 多闻部　├ 说假部　└ 制多部 └ 上座部　├ 雪山部　├ 说一切有部　　├ 说转部　　└ 经
阿布哈兹空军阿布哈兹空军是一个由阿布哈兹控制的小型空军。阿布哈兹空军的大部分装备是继承自苏联时期。俄罗斯也可能援助了一些二手的飞机，但没有确凿的阿布哈兹购买飞机的报道。Single
勒弗冰原岛峰坐标：78°4′S 161°8′E / 78.067°S 161.133°E / -78.067; 161.133勒弗冰原岛峰（英语：Lever Nunataks），是南极洲的冰原岛峰，位于维多利亚地的斯科特海岸，处于威尔克尼斯山脉地区
If+如果田馥甄巡回演唱会PlusIF+如果巡回演唱会plus live是台湾女子演唱团体S.H.E成员、台湾女歌手田馥甄的第二张演唱会影音专辑，收录田馥甄于2016年12月9日、10日、11日在台北小巨
法国爵位法国爵位（法语：Pairie de France）是法国贵族间一种世袭的区别。法国爵位出现于中世纪的1180年，废除于法国大革命时期的1789年，但在波旁复辟时又重新出现，此间设立的贵族院有和英国上议院相似的立宪功能。1831年10月10日，众议院以324票对26票废除了世袭贵族制，但终身贵族依旧存在，直到贵族院和爵位在二月革命后被明确废除。法兰西贵族（法语：Pair de France）受人尊敬的头衔和地位只由法国贵族中最高贵的成员持有。因此，法国贵族与英国贵族（英语：British peerage）不
许叶芬许叶芬（1859年－？），字绍翯，直隶省顺天府宛平县（今北京市东城区）人，清朝政治人物、进士出身。光绪十四年，乡试中举；光绪十五年，登进士，同年五月，改翰林院庶吉士。光绪十六年四月，散馆，授翰林院编修、武殿试受卷官。光绪十八年，任会试同考官。光绪二十年，任会试磨勘官、国史馆纂修官。光绪二十一年，任国史馆纂修官教习庶吉士、国史馆总纂官、国史馆画一臣工列传覆校官。光绪二十四年，任江苏苏州府知府。