可替代的集合论

✍ dations ◷ 2025-08-20 18:36:28 #可替代的集合论

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

一些可替代的集合论：

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

相关

纳博特囊肿纳博特囊肿（nabothian cyst, nabothian follicle），也称纳囊、宫颈腺囊肿、宫颈腺体囊肿、子宫颈囊肿，是一类位于宫颈表面的囊肿。当外宫颈复层鳞状上皮生长覆盖过单层柱状上皮上
提康德罗加级提康德罗加级巡洋舰（英语：Ticonderoga-class cruiser）是美国海军所属第一种配备宙斯盾（AEGIS）系统的战舰，其特色为配备以AN/SPY-1舰用相控阵雷达为核心的整合式水面作战系统（宙斯盾
艸部艸部，为汉字索引中的部首之一，康熙字典214个部首中的第一百四十个（六划的则为第二十三个）。在正体中文中，艸部归于六划部首，而在简体中文中，将汉字部首规范的《汉字部首表》中，将“
国家独立历史公园国家独立历史公园（Independence National Historical Park）是一处美国国家历史公园，位于费城老城和社会山（Society Hill）历史街区，包含一些与美国革命和建国的历史有关的历史建筑，
山西省军政府山西省军城府成立于1911年10月29日，打出了八卦太极旗。12月12日，娘子关被清军占领，军政府撤离太原，太原随即沦陷。1912年4月4日，阎锡山就任山西都督府都督，山西省军政府终结。附：山
亚洲达人秀亚洲达人秀 (英语：Asia's Got Talents)是播出达人秀专营权的区域版本在频道AXN。胜利者可在达人秀获得总值奖金100,000美元。亚洲达人秀开始于2015年3月12日,参赛者包括20个
关扬关扬（？－？），字明吾，山东海丰县（今山东省无棣县）人，明朝政治人物。万历十三年乙酉科山东乡试举人。万历二十年（1592年）壬辰科进士，行取山西道御史。曾祖父关和；祖父关宗悳；父亲关直□。
真恐怖惊魂夜第11名访问者《真恐怖惊魂夜第11名访问者》（日语：真かまいたちの夜 11人目の訪問者）是Chunsoft开发，并于2011年在PlayStation 3和PlayStation Vita发行的视觉小说电子游戏。本作为镰鼬之夜
成林文佳·成林（1828年－1879年），字竹坪，号茂轩，满洲镶白旗人，清朝咸丰五年乙卯科举人，清朝同治、光绪朝官员。同治中兴的七大重臣之一。曾任光禄寺卿、大理寺卿、总理衙门大臣、署理三口通商大臣、工部侍郎、吏部侍郎等职务。成林于咸丰五年（1855年）中乙卯科举人，咸丰七年补步军统领衙门笔帖式，咸丰十年(1860年)跟随大学士桂良在英法联军入侵后，办理抚局事宜。著有劳绩，被命以主事遇缺即补，赏加五品衔。咸丰十一年(1861年)，获被遴选总理各国事务衙门(简称总理衙门)章京，而后更任总理衙门章京上行走。同治元年
李莉 (歌手)李莉（1970年－），湖北黄石人，汉族，中华人民共和国政治人物。毕业于武汉音乐学院声乐专业，担任黄石市残疾人协会副秘书长，武汉音乐学院兼职声乐老师。2013年，担任全国人大代表。2018年2月24日，当选为第十三届全国人大代表。