可替代的集合论

✍ dations ◷ 2025-11-27 03:58:40 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 大阴唇大阴唇(Labia Majora)是女性生殖器的一部分。它位于两大腿内侧,是位于女阴两侧、阴阜下方的一对纵长的呈隆起状的皮肤皱襞,皮下含丰富的脂肪组织、弹性纤维及静脉丛,在会阴处相连
  • 地方性呆小症先天性碘缺乏症候群(又称矮呆病、克汀病、呆小病)是指因产妇对碘的摄取不足,使得婴儿先天性缺乏甲状腺激素(先天性甲状腺机能低下症),而导致严重阻碍身心发展的一种症状。一般通过
  • 共衍征共有衍征或共源性状,在演化生物学是一种两个或以上终端分类单元共有及从其最近共同祖先承袭的衍生性状状态。共有衍征是一种衍生而来的性状状态,并源自其后最共同祖先。假若有
  • 纳粹德国禁烟运动纳粹德国禁烟运动是指在1933年至1945年期间德国的禁烟运动。在德国医师首次研究出吸烟与肺癌的关联后,纳粹德国便开始强烈提倡禁烟运动,而开创了近代史上第一次大众禁烟运动。
  • 绿豆糕绿豆糕,是一种以绿豆为原料制作的糕点小吃。在中国,绿豆糕按口味分为京式(流行于北京、天津地区)、苏式和扬式。京式绿豆糕不添加油脂,又称“干豆糕”。苏式和扬式的绿豆糕添加油
  • Tobu (音乐制作人)汤姆斯·伯尔科夫斯基斯(拉脱维亚语:Toms Burkovskis,1992年9月10日-),绰号Tobu,拉脱维亚音乐制作人。Tobu在YouTube达到100万订阅(截于2019年6月7号)Burkovskis于11岁,初尝制作音乐
  • 金寅植教练金寅植(韩文:김인식,英文:Kim In-sik,1947年5月1日-),出身于首尔特别市,为韩国职棒总教练,同时也是韩国队著名的总教练。 1965年至1972年效力于业余球队的王冠啤酒以及韩一银行投
  • 2021年4月
  • 1,2-二(二苯基膦基)苯1,2-二(二苯基膦基)苯是一种有机磷化合物,化学式为C6H4(P(C6H5)2)2,它是二(二苯基膦基)苯的三种同分异构体之一。它可由1,2-二氟苯和二苯基膦基钠在四氢呋喃中反应得到。它可以被过氧化氢氧化为1,2-二(二苯基膦基)苯-,-二氧化物。它可以和金属形成配合物,如和八羰基二钴反应,生成二四羰基二钴;和溴化亚铁反应,生成二溴合铁(II)。
  • 白狮白狮 是狮子的特殊变异色型,由基因突变而产生,并非患白化病的狮子。白狮在南非最为常见,尤其是蒂姆巴瓦蒂地区,该地最早记录到白狮是在 1938 年。白狮一词泛指基因变异造成毛色较浅的狮子,并不一定为纯白色,可在浅棕色、金色至白色之间过渡。与白虎不同的是,白狮可在野外正常生存且相对常见,可能的原因是狮子所处环境的总体色调较浅,白色的不利影响较小,同时狮子群居,即使难以捕猎也能依靠同伴获得食物。白狮因独特的外貌而备受珍视,自 1970 年代起,人们开始有计划地从野外捕捉白狮和携带白狮基因的棕色狮子(其父母为白狮