可替代的集合论

✍ dations ◷ 2025-12-08 15:37:54 #可替代的集合论

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

一些可替代的集合论：

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

相关

职业指导职业（英语：job），是一种日常性的规律劳动，其目的在于换取劳动所得（也就是薪资），亦象征在社会上的地位和名誉等等。职场上的专门行业，是对劳动的分类。职业是社会分工的产物，西方商品经
黑色一月大屠杀高加索军区黑色一月大屠杀（阿塞拜疆语：Qara Yanvar），也被称为黑色星期六或一月大屠杀，是1990年1月19-20日苏联解体前实施紧急状态期间在苏联境内阿塞拜疆地区巴库的一场大屠杀。
东南苏拉威西东南苏拉威西省（印尼语：Provinsi Sulawesi Tenggara，简称Sultra）是印度尼西亚苏拉威西岛上的一个省，位于东南半岛上，另辖布顿、穆纳、卡巴那和沃沃尼等岛屿以及其他小岛。首府位于
鲅鱼圈区坐标：40°15′48.35″N 122°7′44.43″E / 40.2634306°N 122.1290083°E / 40.2634306; 122.1290083鲅鱼圈区是中国营口市所辖的一个市辖区。1984年成立，1992年10月经国务院
商务通“商务通”是由中国大陆恒基伟业开发生产，并于1998年年底上市的PDA掌上电脑系列，主要有第一代产品MBA990系列和第二代产品“连笔王”MBA600系列。其功能和技术特性，类似于同时
西川满西川满（にしかわみつる，1908年2月12日－1999年2月24日），生于日本福岛县会津若松市，台湾日治时期的作家与文艺工作者。西川满出生于日本福岛县会津若松市，三岁时，其父西川纯被派至台
荣町 (新竹市)荣町为新竹州新竹市自1935年实施町名改正所成立的行政区之一，共分为三个丁目，位于新竹车站前中华路、东大路、仁义街和护城河之间的街廓。荣町在町名改正前，位于新竹大字下的东
锂二氧化锰电池锂二氧化锰电池以锂为负极，正极为电解二氧化锰。电解质为非水解有机电解液，因而在低温条件下电解液的粘性会增大，从而影响性能。作为一次性锂电池，锂二氧化锰电池具有价格低、安
祈祷～眼泪的痕迹/End of the day/pieces《祈祷～眼泪的痕迹/End of the day/pieces》（日语：祈り～涙の軌道/End of the day/pieces），是日本乐团Mr.Children的第34张单曲，于2012年4月18日发行。本作是Mr.Children首张三A面
阿纳托利·普柳什科阿纳托利·迪米特罗维奇·普柳什科（乌克兰语：Анатолій Дмитрович Плюшко，罗马化：、1938年8月23日－），乌克兰外交官，为1991年该国脱离苏联独立以来的第一任驻中华人民共和国大使，当1993年12月4日举行乌克兰驻华大使馆开馆典礼之后，普柳什科遂自该年起驻华，直至1998年任期届满为止。普柳什科于1938年8月23日出生在赫尔松州大亚历山德里夫卡区的新波尔塔夫卡，1961年起自莫斯科国立大学的东方语言学院毕业。