可替代的集合论

✍ dations ◷ 2025-10-19 07:41:12 #可替代的集合论

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

一些可替代的集合论：

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

相关

制革制革，即制造皮革，是指将动物的皮进行加工处理制成皮革的过程，包括准备阶段、鞣制、半硝这三个步骤。该过程会将动物皮中含有的蛋白质结构永久性转变，使其更加耐用、不易降解，有的
金正喜金正喜（朝鲜语：김정희／金正喜，1786年—1856年），字元春，号秋史，朝鲜王朝经学家、书法家、金石学家，朝鲜实学学斋派代表人物。金正喜出生于朝鲜庆尚北道庆州的两班家庭，1809年科举及第，曾
姬猪姬猪（学名：Porcula salvania），或称侏儒猪、迷你猪，是一种在印度次大陆生活的小型猪，是猪科动物中最小的一种，曾经遍布印度、尼泊尔和不丹的高湿草原地带。然而人类的活动已经大大
美国宪法修正案宪法正文 I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII
蔡肇祺蔡肇祺（1933年2月14日－2018年9月11日），曾号燕青，生于台湾台南，祖籍福建漳州，药师、诗人、词曲作家与武术家。毕生诗词创作甚丰，并为两千余首诗词谱曲。为太极拳宗师郑曼青先生入室弟
更新世巨型动物群更新世巨型动物群（英语：Pleistocene megafauna）是指成年体重超过44千克（97英磅），生活于更新世而在第四纪灭绝事件中灭绝的巨型动物群。末次冰期为更新世晚期第四纪冰河时期中的最
小行星4752小行星4752（英语：4752 Myron）是一颗围绕太阳公转的小行星。1973年9月29日，C. J. 万·豪敦、I. 万·豪敦-格勒内费尔德、T. 赫雷尔斯在帕洛马山发现了此天体。这颗小行星的绝对星
迈克尔·奥利弗迈克尔·奥利弗（英语：Michael Oliver，1985年2月20日－），英格兰足球裁判，出身于诺森伯兰郡阿兴顿（英语：Ashington），现时为英超执法裁判。2015年1月切尔西对利物浦的赛事中，因未有察觉到迪亚高·哥斯达接连践踏史卡迪尔和安利·简恩而遭到批评。同年3月曼联对阿森纳的足协杯赛事，在奥利弗认为迪马利亚假摔，判罚他一面黄牌后，迪马利亚打算上前理论，无心之下拉了奥利弗的衣服，而奥利弗随即再罚一面黄牌，争议地将他逐出场，曼联无辜打少一人。2017–18年欧洲冠军联赛四分之一决赛第
3ds Max3ds Max（原名：3D Studio Max），是Autodesk传媒娱乐部开发的全功能的三维计算机图形软件。它运行在Win64平台上。在2007年7月，3ds Max发布了第十版。在Windows NT出现以前，工业级的计算机图形学制作被SGI图形工作站所垄断。3D Studio Max + Windows NT组合的出现一下子降低了CG制作的门槛，首先开始运用在电脑游戏中的动画制作，后更进一步开始参与影视片的特效制作，例如X战警2、最后的武士等。3ds Max对CG制作产生了历史性的影响：德文
玛丽亚·沃波尔玛丽亚·沃波尔（英语：，1736年7月10日－1807年8月22日），爱德华·沃波尔（英语：Edward Walpole）的私生女、首相罗伯特·沃波尔的孙女，先后成为瓦德格雷夫伯爵（英语：Earl Waldegrave）夫人、格洛斯特和爱丁堡公爵（英语：Duke of Gloucester and Edinburgh）夫人。1759年，玛丽亚和詹姆斯·瓦德格雷夫结婚，两人共有三个女儿：詹姆斯于1763年去世。1766年，玛丽亚和乔治三世的弟弟威廉·亨利结婚，两人共有1子2女：