可替代的集合论

✍ dations ◷ 2025-11-20 23:02:39 #可替代的集合论

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

一些可替代的集合论：

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

相关

艾日布林艾日布林（英语：Eribulin）是一种化疗药物，由卫采制药研发。其被批准用来治疗乳腺癌和脂肪肉瘤。甲磺酸盐形式的艾日布林被美国食品药品监督管理局(FDA)于2010年11月15日批准用于
电光牌卫浴振吉电化厂是一家台湾卫浴设施生产批发商，以电光牌（TENCO）为行销品牌。1949年，振吉电化厂成立于高雄市。1953年5月，振吉电化厂改组成立“振吉电化厂股份有限公司”；同年，位在高雄的
大屠杀列表本列表按照发生年代的先后顺序列举世界历史上发生的大屠杀。
庄廷鑨明史案庄廷鑨明史案是清初开国以来的第一宗文字狱。诛连甚广。浙江乌程（今湖州）南浔镇富户庄廷鑨，因病眼盲，想学习历史上同为盲人的左丘明，著写一部史书。但又匮于自己所知不多，便去买得
微山湖微山湖，亦名南四湖，位于中国山东、江苏交界处，由微山湖、昭阳湖、南阳湖、独山湖四个彼此相连的湖泊组成，归山东省微山县管辖。微山四湖南北长120公里，东西最宽处达25公里，水域面
长柄菊长柄菊（学名：），又名羽芒菊，为菊科羽芒菊属下的一种多年生草本植物，茎匍匐，具有粗毛，叶卵形或披针形，边缘有锯齿。缘或分裂。单花顶生，花冠白色，心花黄色。结瘦果。它原产于热带美洲，后来
埃利奥·莫迪利亚尼埃利奥·莫迪利亚尼（Elio Modigliani，1860年－1932年）为意大利人类学家、动物学家和植物采集者。1886年至1894年，他对苏门答腊岛及其西部海岸的许多岛屿进行了考察。1891年4月25日
德巴加尔德巴加尔（Debagarh），是印度奥里萨邦Debagarh县的一个城镇。总人口20085（2001年）。该地2001年总人口20085人，其中男性10512人，女性9573人；0—6岁人口2506人，其中男1284人，女1222人；识字
阿日阿日（法语：Agy，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alternative","TITUS Cyberbit Basic","Arial Unicode MS","IPAPANNEW","Chrysanthi Unicode","GentiumAl
亚沙尔·埃尔坎亚沙尔·埃尔坎（土耳其语：Yaşar Erkan，1911年4月30日－1986年5月18日），土耳其男子摔跤运动员。他曾代表土耳其参加1936年夏季奥林匹克运动会摔跤比赛，获得男子古典式次轻量级金牌。