可替代的集合论

✍ dations ◷ 2025-12-01 18:17:29 #可替代的集合论

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

一些可替代的集合论：

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

相关

那空那育府 small(坤西育府)/small那空那育府（泰语：จังหวัดนครนายก，皇家转写：Changwat Nakhon Nayok，泰语发音：），一译坤西育府，是泰国中部的一个府。那空那育府是一个有九百多年历史的古老城市，在大城时
2019冠状病毒病疫情对政治的影响SARS-CoV-2（病毒）国际运输COVID-19大流行影响了多个国家的政治体系，导致立法活动被暂停，多个政客的孤立或死亡，以及由于担心传播这种病毒而重新安排了选举时间。
锄头锄头是常见农具、园艺用具，目前仍为许多农民广为使用。其构造大致上由一根木制长柄及一块金属作的刀刃组成，但也因用途不同而有各种形状。锄头的主要功能是用来松土、去除杂草
杜迪·拜拉莫夫杜迪·拜拉莫夫（Durdy Bayramov；俄语：Дурды Байрамов；1938年4月14日－2014年2月14日）是一位院士和艺术家，他被授予他本国的最高荣誉称号“土库曼苏维埃社会主义共和国
杰西·麦特卡尔菲杰西·麦特卡尔菲（英语：Jesse Eden Metcalfe，1978年12月9日－）是一名美国男演员，最著名的角色是电视剧《欲望师奶》中年轻性感的园丁约翰·罗兰（John Rowland）。父亲Scott Metcalfe有
名古屋外国语大学名古屋外国语大学（なごやがいこくごだいがく，英语：Nagoya University of Foreign Studies），是一所位于日本爱知县日进市岩崎町竹之山57的私立大学。1988年设立。大学简称名古屋外
小宫山友晴小宫山友晴，（こみやまともはる，？－1582年4月11日）安土桃山时代的武将，武田家家臣，使番十二人众之一。通称内膳佑。根据甲乱记，在织田信长所动员的甲州征伐，当武田氏御亲类众穴山梅雪
丹尼斯·丁丹尼斯·尤利耶维奇·丁（哈萨克语：Денис Юрьевич Тен；俄语：Денис Юрьевич Тен，1993年6月13日－2018年7月19日），哈萨克斯坦高丽人，出生于哈萨克斯坦阿拉
钟英钟英可以指：
范重模范重模（1923年－），男，四川广安人，中国炼钢专家，曾任鞍钢钢铁研究所副所长，第三届全国人大代表，第五届全国政协委员。