可替代的集合论

✍ dations ◷ 2025-11-25 02:28:37 #可替代的集合论

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

一些可替代的集合论：

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

相关

科科斯板块科科斯板块，或译科克斯板块、科科板块，以位于其中的科科岛命名，是位于中美洲西岸外的太平洋中的一个大洋板块。在1968年勒皮雄首次提出的六大板块中，它是南极洲板块的一部分。科
阿布拉莫夫杰克·阿布拉莫夫（Jack Abramoff，1959年2月28日－），美国共和党人，专业从事美国院外游说活动的知名人士，有美国游说业“教父”之称。1980年代阿布拉莫夫在大学毕业之后，在共和党全国委
博爱县博爱县是中华人民共和国河南省焦作市下辖的一个县。位于太行山南麓，与山西省交界。面积492平方公里，2002年人口42万。邮政编码454450，县政府驻清化镇。现辖：清化镇街道、柏山镇
硫酸铽硫酸铽是一种无机化合物，化学式为Tb2(SO4)3。它可用于合成其它铽化合物。用硫酸溶解氧化铽(III)，可以得到硫酸铽。
泊松光斑泊松光斑，也称阿拉戈光斑。是一种由于光的衍射而产生的一种光学现象。在满足菲涅耳数的情况下：其中当单色光照射在一定尺寸的小圆板或圆珠时，会在之后的光屏上出现环状的互为同
张世杰张世杰（？－1279年），涿州范阳（辽朝时期属于南京道管辖，金朝时期属于中都路管辖，今属河北）人。1234年金朝灭亡后为元朝将领张柔的部下，戍守河南杞县，后因犯罪逃奔南宋，成为南宋抗元大将。张
崔亮 (明朝)崔亮（？－1370年），字宗明，藁城县（今河北省藁城市）人，明朝初期官员。其早年为元朝浙江行省掾。朱元璋部队到达旧馆时候，崔亮投降，命为中书省礼曹主事，后升任济南知府，后因母请辞。洪武元年（13
游戏结束 (书籍)《游戏结束》（英语：Game Over: How Nintendo Zapped an American Industry, Captured Your Dollars, and Enslaved Your Children）是戴维·谢弗所作的纪实书籍，成书于1993年，由兰
只楚街道只楚街道，是中华人民共和国山东省烟台市芝罘区下辖的一个乡镇级行政单位。只楚街道下辖以下地区：楚毓社区、芝水社区、北皂社区、南仓社区、只楚社区、福苑社区、东南哨社区、北上坊社区、南上坊社区、西牟社区、东玉社区、西玉社区、沙埠社区、宫家岛社区和锦城社区。
佩尔-英厄·本特松佩尔-英厄·本特松（瑞典语：Per-Inge Bengtsson，1961年10月29日－），瑞典男子皮划艇运动员。他曾代表瑞典参加1984年和1988年夏季奥林匹克运动会皮划艇比赛，其中1984年奥运会共获得二枚银牌。