可替代的集合论

✍ dations ◷ 2025-11-29 18:36:56 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 生物物理化学生物物理化学是物理学的分支,它使用物理学和物理化学的概念来研究生物系统。这门学科的研究最普遍的特征是试图根据构成系统的分子或这些系统的超分子结构来解释生物系统中的
  • 阿尔芒·德·波旁阿尔芒·德·波旁,第二代孔蒂亲王(英语:Armand de Bourbon,2me Prince de Conti,1629年10月11日-1666年2月26日),法国贵族、波旁家族的分支,其兄为第四代孔代亲王路易。他的父亲为第
  • 蒋炳章蒋炳章(1864年-1930年),字季和,号虎衫,别号留庵,江苏吴县人。清朝政治人物、进士出身。其先世为苏州望族, 曾祖蒋重光, 云生先生之季子。光绪十九年,乡试中举;光绪二十四年,登进士,授庶
  • 开始邮政《开始邮政》(英语:)是英国作家泰瑞·普莱契写的第33本碟形世界(英语:Discworld)系列小说,出版于2004年9月25日。跟以往碟形世界系列小说不同,《开始邮政》分成许多章节,这种方式以往
  • 苻法苻法,十六国前秦将领,略阳临渭(今甘肃省秦安东南)氐族,苻雄之子,苻坚庶兄,苻生在位时为清河王。357年六月,得知苻生图谋自己,和梁平老、强汪率领数百壮士潜入云龙门,和苻坚率领士卒回
  • 印加神话印加神话(奇楚瓦语:)中包含了许多解释或象征着印加人信仰的故事和神话传说。所有这些印加文化记录随着弗朗西斯科·皮萨罗的西班牙殖民者对印加帝国的征服而烧毁。目前加里·优
  • 波斯王子 (1989年游戏)《波斯王子》(英语:Prince of Persia)是一横向卷轴动作游戏,最初是在1989年由Jordan Mechner为Apple II平台开发的。这个游戏可当作电动游戏进步的标志之一,因为它使用了高品质的
  • 前481年
  • 拉尔夫·贝尔德小拉尔夫·米尔顿·贝尔德(英语:Ralph Milton Beard Jr.,1927年12月2日-2007年11月29日),美国NBA联盟前职业篮球运动员。他曾代表国家队在1948年夏季奥林匹克运动会上获得男子篮球项目金牌。
  • 裴洧彬裵洧彬(韩语:배유빈,英语:Bae Yu Bin,1997年9月9日-),艺名洧彬(韩语:유빈,日语:ユビン),WM Entertainment在的女子团体Oh My Girl的成员。因在电视和超市看见胜熙,而也拥有当童星的意愿。2008年以童星出道,在成为女团偶像前,拍过过多部韩剧配角和广告。2015年正式以Oh My Girl出道,艺名Binnie。队内担任副唱。2022年起使用本名洧彬作为艺名。Binnie出生于江原道春川市的体育家庭,爸爸是拳击手、妈妈是田径选手,哥哥则是前柔道选手。她的老家与胜熙