可替代的集合论

✍ dations ◷ 2025-12-09 16:40:13 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 心灵心灵或称心智(英语:mind)指一系列认知能力组成的总体,这些能力可以让个体具有意识、感知外界、进行思考、做出判断以及记忆事物。心灵是人类的特征,但是其它的生物可能也具有心灵
  • X-15北美X-15(North America X-15)是一架由北美航空所承制开发的火箭动力实验机。X-15可能是在贝尔X-1之后,美国空军/NASA/美国海军X系列试验机中最重要的一架。在1960年代,X-15打破了
  • 氯酸钾氯酸钾由钾、氯和氧元素组成,化学式为KClO3。它在室温时是无色晶体或白色粉末,而且是一种强氧化剂,可溶于水和甘油,不溶于醇。其折光率为1.5167。有毒,口服5~10克可致死。氯酸钾也
  • openEHR FoundationOpenEHR(中文:开放电子健康档案),是开放的医疗卫生信息标准规范,它描述了管理和存储,检索和交换的电子健康纪录(EHRs)数据。 在开放电子健康档案中,一个人的健康数据存储是一个“
  • 根肿黑粉菌目根肿黑粉菌属 Entorrhiza Talbotiomyces根肿黑粉菌纲(学名:Entorrhizomycetes)是担子菌门黑粉菌亚门下的一个纲。该纲仅含一个目(根肿黑粉菌目,Entorrhizales),该目下也仅含一个科(
  • 赫蕉科赫蕉科(Heliconiaceae)是单子叶植物姜目的一科,本科又称为蝎尾蕉科。赫蕉科只有赫蕉属一属,约有100-200种,主要分布在热带美洲。赫蕉属以前被分类在芭蕉科或旅人蕉科内,现今已由
  • 尼尔·科林斯 尼尔·威廉·科林斯(英语:Neill William Collins,1983年9月2日-),出生在特奴,是一名苏格兰足球运动员,司职中后卫,出身格拉斯哥的女王公园,现效力英冠俱乐部谢菲尔德联。科林斯出生
  • 刘桂凤刘桂凤(1950年-),吉林农安人,汉族,中华人民共和国政治人物、第十二届全国人民代表大会吉林地区代表。加入中国共产党。2013年,被选为全国人大代表。
  • 西条和西条和 (7月25日- )是居住在日本的女性声优和偶像,是数位声优偶像团体22/7的成员。
  • 中国重庆数字经济人才市场中国重庆数字经济人才市场是中国首家数字经济人才市场,于2021年11月20日在2021重庆英才大会上正式揭牌成立。该市场经中国人社部批复设立,依托重庆市大学生就业创业公共服务中心平台打造。