可替代的集合论

✍ dations ◷ 2025-12-03 19:39:46 #可替代的集合论

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

一些可替代的集合论：

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

相关

片片假名（日语：片仮名／かたかな／カタカナ katakana *），是日语中表音符号（音节文字）的一种。与平假名、万叶假名等合称作假名。“片假名”一词在使用时常用“カタカナ”表示。签名时
盆地盆地（英语：Basin），地貌学的盆地的特征为盘地四周地形的水平高度要比盆地自身高，在中间形成一个低地，常为一地形（平原、高原）被山所围绕也是盆地，因此是盆地是地形分支的一种。在云贵
梁栋材梁栋材（1932年5月29日－），广东广州人，中国分子生物物理学家。1955年毕业于中山大学化学系。1960年在苏联科学院元素有机化合物研究所研究生毕业，获副博士学位。1985年当选为世界科
白垩纪-第三纪大灭绝事件白垩纪-古近纪灭绝事件（简称K-Pg事件、K-Pg灭绝），旧称为白垩纪﹣第三纪灭绝事件（简称K-T事件、K-T灭绝），俗称恐龙大灭绝，是地球历史上的第五次以及最后一次大规模物种灭绝事件、也是
戴维·索利斯戴维·詹姆斯·索利斯，FRS（英语：David James Thouless，1934年9月21日－2019年4月6日），英国凝聚体物理学家，与邓肯·霍尔丹及约翰·科斯特利茨因“在物质的拓扑相变和拓扑相领域的理论
罗杰·泽拉兹尼罗杰·泽拉兹尼（Roger Zelazny，1937年5月13日－1995年7月14日），美国著名科幻与奇幻小说作家。罗杰·泽拉兹尼最出名的是编年史《安珀系列》（The Chronicles of Amber）。他赢得了三次
Family Party《Family Party》（日语：ファミリーパーティー）是Kyary Pamyu Pamyu的第9张单曲。2014年4月16日由日本华纳音乐发售。与前作《梦想起跑～铃～铃》相隔约2个月。单曲分为初回限定盘和
王翠翘王翠翘，明朝山东临淄人（今山东淄博）。事迹最早见于茅坤的《纪剿除徐海本末》，后来王翠翘也作为角色出现在不同作品中。出身一般人家，父母早逝，入临淄马秀妈妓院，是秦淮名妓，后嫁海盗
洛里克·察纳洛里克·察纳（Lorik Cana，1983年7月27日－），乃一名出生于科索沃的阿尔巴尼亚国家足球队足球运动员，司职后腰。过往曾效力法甲巴黎圣日耳曼及马赛、英超桑德兰和土超加拉塔萨
582年