可替代的集合论

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

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

一些可替代的集合论：

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

相关

中华大陆行政执事站中华大陆行政执事站为一个于1990年代前期在江苏、安徽成立的以“建造国都”为目标的组织。奉李常受为“活基督”。中华人民共和国公安部将“中华大陆行政执事站”定性为邪教
原核翻译原核翻译（Prokaryotic translation）是指原核生物细胞中信使RNA被70S核糖体翻译为蛋白质的过程。该过程可分为起始、延伸、终止与再循环四个主要步骤。原核生物的翻译起始阶段
路易斯·库尔勒路易斯·库尔勒（Louis Kuehnle，/ˈkuːnliː/；1857年12月25日－1934年8月6日），被称为“准将库尔勒”（"Commodore Kuehnle"），是美国企业家和德国血统的政治家。他被认为是于1880年代末
未来岁月《未来岁月》（英语：）是一部英国电视连续剧，由英国广播公司、美国HBO、法国Canal+联合制作，于2019年5月14日起在英国英国广播公司一台播出。讲述里昂斯一家在15年内所发生的悲欢离
彰145线彰145线罗厝－四块厝，是位于彰化县的一条乡道，北起埔心乡罗厝村罗厝聚落中部偏东北的乡道彰143线岔路，南至永靖乡四芳村四块厝聚落北侧的乡道彰53-1线岔路，全长1.504公里。
普雷斯顿·斯密·布鲁克斯普雷斯顿·斯密·布鲁克斯（英语：Preston Smith Brooks，1819年8月5日－1857年1月27日），是民主党，南卡罗来纳州的众议员、美国众议院议员，1856年他袭击了马萨诸塞州的共和党参议员查尔斯·索姆奈，曾被认为是引发美国内战的导火索之一。
维利博尔·米卢蒂诺维奇维利博尔·“博拉”·米卢蒂诺维奇（塞尔维亚语：Велибор Бора Милутиновић，1944年9月7日－），塞尔维亚足球教练。中国人也称其为米卢，外号“神奇教练”。其已故两个哥哥米洛拉德·米卢蒂诺维奇，米洛什·米卢蒂诺维奇曾是前南斯拉夫知名足球运动员。相对于两个哥哥，米卢蒂诺维奇球员生涯明显平淡不少，但在教练生涯就异常风光，他是唯一一个连续带领五支不同的国家足球队参与世界杯决赛周的教练：1986年的墨西哥，1990年的哥斯达黎加、1994年的美国、1998年的尼日利亚和2002年的中国。他在执
王连春王连春（1970年4月－），江苏盐城人，汉族，中国共产党党员。中华人民共和国政治人物、第十三届全国人民代表大会江苏地区代表。2018年2月24日，当选为第十三届全国人大代表。
卡尔-约翰·约翰逊卡尔-约翰·约翰逊（瑞典语：Karl-Johan Johnsson；1990年1月28日－）是一位瑞典足球运动员，在场上专职守门员，目前效力于丹超球队哥本哈根，他目前也代表瑞典国家足球队参赛。卡尔-约翰·约翰逊在青年时期便加入伦讷斯勒夫（英语：Ränneslövs GIF），15岁时转而加入哈尔姆斯塔德青年队。当哈尔姆斯塔德内另一位守门员马库斯·萨尔曼（英语：Marcus Sahlman）被租借至特利堡时，约翰逊成为队中第三号守门员人选。他在2008年8月24日对阵佐加顿斯时首次替补上场，当时首发的
圣天宫坐标：.mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondefault,.mw-parser-output .geo-multi-punct{display:none}.mw-parser-output .longitude,.mw-parser-output .latitude{white-space:n