可替代的集合论

✍ dations ◷ 2025-11-25 14:53:57 #可替代的集合论

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

一些可替代的集合论：

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

相关

二分裂分裂（英语：Fission），又叫裂殖，在生物学中是指一个细胞（或身体、种群或物种）分为两个或多个部分，以及这些部分再生为细胞（身体、种群或物种）。通常是单细胞生物所形的生殖方式。该种生
马岛长喙天蛾马岛长喙天蛾（学名：Xanthopan morgani），又名非洲长喙天蛾、马达加斯加长喙天蛾，是天蛾科的一个物种，分布于非洲东部。马岛长喙天蛾最显著的特征就是那演化出超长的口器，体色大部分
宁乡县实验中学宁乡县实验中学（英语：Ningxiang Experimental High School）是一所位于湖南省长沙市宁乡县县城的中学。1998年，宁乡县教育局创办了宁乡县实验中学，它是一所示范性、寄宿制完全中学
车智澈车智澈（1934年11月16日－1979年10月26日），大韩民国政治人物、前韩国陆军中校，小学文化。生于京畿道利川郡麻长面的农家、但经历上则出身于京城府（现首尔特别市）。曾担任青瓦台警护室
斯德望九世教宗斯德望九世（拉丁语：Stephanus PP. IX；约1020年－1058年3月29日）本名洛林的费德廉（Frédéric de Lorraine），出生地不详。他于1057年8月2日当选罗马主教，翌日即位至1058年3月29日为
方官镇方官镇，是中华人民共和国河北省保定市高碑店市下辖的一个乡镇级行政单位。方官镇下辖以下地区：方官村、梁各庄村、南垡上村、北垡上村、河西庄村、三里铺村、大道王庄村、牛家
双地震地震学家有时指一对同样大小的地震发生在相对密集的时间和地点称为“双地震”。这与地震余震的正常模式不同，余震逐渐减弱的幅度一般都来自同一个震源为主，而对地震震源在原地
2.5次元的诱惑台湾中文版第一册封面《2.5次元的诱惑》（日语：2.5次元の誘惑）是由桥本悠所创作的日本漫画，由2019年6月15日起于少年Jump+连载至今，逢星期六更新。由2021年起，连载频率改为每连载三星期后休刊一星期。本作以Cosplay为主题。因尺度问题，本作前段部分集数未能在iOS版应用程序上阅览。本作在下一部漫画大奖2020中获得网络漫画部门的第4名。
FN-49步枪FN-49是比利时Fabrique Nationale工程师迪纳多内塞弗（Dieudonne J. Saive）研制的一种半自动步枪，可以说是FN FAL自动步枪的前身。塞弗在1937年已设计出一种气动式的半自动步枪，原本是要取代比利时军队所使用的手动单发毛瑟步枪，此枪仍然发射毛瑟步枪弹，但在改良期间德军入侵比利时，在列日的FN兵工厂更已被德军占领，于是塞弗带着此枪的设计图去了英国继续研究，在英国期间英国军方对此枪表示感兴趣而下了2000支订单并把此枪命名为SLEM，但在第二次世界大战后英军对此枪失去兴趣
弹簧腿杰克弹簧腿杰克（Spring Heeled Jack）是据英国民间传说，存于维多利亚时代的人物。有关他最早的目击纪录据称是在1837年，之后英格兰各地，从伦敦到雪菲尔和利物浦都有报告，在郊区和英格兰中部尤被盛传，1850年代至1880年代达到高峰。虽然部分报告宣称他仍有活动，但一般相信他已于1904年消失，即最后一件有纪录事件发生之年。许多理论宣称已确定他的身份类别，但无任一者能全然厘清真相，因此该异常现象依旧无法解释。弹簧腿杰克的都市传奇于当代广受欢迎，原因在他奇怪的现身方式和施展一双怪腿的能力，而后者亦成