可替代的集合论

✍ dations ◷ 2025-11-28 05:59:19 #可替代的集合论

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

一些可替代的集合论：

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

相关

绣线菊属绣线菊属（学名：Spiraea）是蔷薇科下的一个属，为落叶灌木植物。该属共有约100余种，分布于北温带。
浙江浙江河流列表，列举全部或部分在浙江省境内的河流，并依照流域排列；支流则由河口至源头排序。浙江东濒大海，河流源短，多独流入海，其中较大的独流入海的河流为钱塘江、瓯江、飞云江、
天京之变“天京之变”又称“天京事变”，也有学者称作“杨（杨秀清）韦（韦昌辉）内讧”或“杨韦事件”，是一次太平天国领导层的严重内讧。发生于清朝后期的1856年，地点在首都天京（今江苏南京），东王
朱莲朱莲（学名：）为景天科伽蓝菜属的物种。为多年生常绿亚灌木肉质植物，原产于非洲东南部。植株可高达0.6米至1米，根幼细而根系发达，叶无毛，叶为椭圆形，绿色，叶边缘为红色，当温差大及日照充
拉迪格岛拉迪格岛（法语：La Digue）是塞舌尔第四大有人居住的岛，位于普拉兰岛东面和费利西泰岛西面。岛上人口约2000人，主要居住在西海岸的拉帕斯村（La Passe）和拉雷尤因村（La Réunion），面积10
救世主教堂 (基辅)救世主教堂（乌克兰语：Церква Спаса на Берестові，罗马化：；俄语：Церковь Спаса на Берестове，罗马化：）是位于乌克兰首都基辅的一座教堂，邻近洞窟修道院。教堂最初建于11至12世纪之交时期，但现在的教堂修建于17世纪。坐标：.mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .
前152年
哈里森·贝德哈里森·乔瑟夫·贝德（英语：Harrison Joseph Bader，1994年6月3日－）为美国职棒大联盟的外野手，目前效力于纽约洋基队。他先前曾效力于圣路易红雀队。贝德毕业于佛罗里达大学，2017年登上大联盟。贝德主要从事中外野的守备工作，2019年球季之后基本专职中外野，不过在生涯更早期他也有角落外野的守备纪录。7月25日，因为德克斯特·佛勒受伤，贝德也获得登上大联盟的机会。当时他在3A缴出2成97的打击率，并敲出19轰与48分打点。他在初登板便击出大联盟首安，并在9月1日敲出大联盟首轰。而他也在
日本麻将日本麻将（日语：麻雀／マージャン），是日本常见的麻将游戏玩法，通常以点计算分数，而点数又决定了最终的输赢。一般而言，日本麻将专用的麻将牌用色较比其他地区常见的麻将牌单调。其他地区的蓝色，在日本麻将牌里通常都会深得变成黑色，日本麻将牌的绿色也暗得跟它分别不太大。饼子仅黑色与红色两色，条子仅绿色与红色两色，汉字使用行书体写成（如万子牌、风牌与三元牌），与一般麻将牌的楷书体不同，而白板则是全白的字牌。日本麻将，通常使用34种共136张牌的麻将牌。在较为流行的规则上，也有不少的地方规则。目前日本可以进行日本麻将
天津泰达足球俱乐部2012赛季天津泰达足球俱乐部2012赛季，将记录天津泰达足球俱乐部2012赛季亚冠联赛、中超联赛和足协杯赛的比赛结果以及球队人员情况。该赛季是中国足球职业化以来天津队第17次征战中国顶级联赛，亦是第9次连续征战中国足球超级联赛。本赛季亦是天津队继2009赛季以来第三次征战亚冠联赛。2012赛季，天津泰达足球俱乐部历史上第三次参加亚足联冠军联赛，在2011年12月6日举行的抽签仪式上，天津泰达队和2011年日本职业足球联赛亚军名古屋鲸鱼队、2011年韩国足总杯冠军城南一和天马队以及2010－11年澳洲职业足球联赛亚军