可替代的集合论

✍ dations ◷ 2025-12-10 11:44:11 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 路易莎·格罗斯·霍维茨奖路易莎·格罗斯·霍维茨生物学或生物化学奖是一年一度的奖项,由哥伦比亚大学颁给一位研究员或一组研究人员,以表彰其在生物学或生物化学等领域的基础研究中做出的卓越的贡献。
  • 玛格丽特·斯佩林斯玛格丽特·斯佩林斯(Margaret Spellings,1957年11月30日-),美国政治家,美国共和党成员,前美国教育部长(2005年至2009年)。
  • 龙骑兵龙骑兵(英语:Dragoon)又简称为龙兵,是最早是一种“骑马步兵”的兵种,大多出现于17世纪晚期至18世纪早期的欧洲军队,是同时接受马术与步兵战斗技巧的训练,以马匹运输、步行战斗的士
  • 达科他领地达科他领地(英语:Dakota Territory)是美国历史上的一个合并建制领土,存在于1861年3月2日至1889年11月2日之间.达科他领地由明尼苏达领地和内布拉斯加领地的部分领土构成,范围包括
  • 美国非洲陆军(英语:United States Army Africa,USARAF),前身为南欧特遣部队(英语:Southern European Task Force,SETAF),又译为美国驻非陆军,这是美国陆军的陆军服务组成司令部,美国非洲
  • 袁崇焕评传《袁崇焕评传》是金庸武侠小说以外的一本人物评传,写于1975年,此作是对金庸自己的武侠小说作品《碧血剑》的补充。类似于袁崇焕的外传,主要创见是认为崇祯杀袁崇焕的根本原因不
  • 伊布拉希姆·佳森别科夫伊布拉希姆·佳森别科维奇·佳森别科夫 (俄语:Ибрагим Гасанбекович Гасанбеков;1969年10月25日生于俄罗斯达吉斯坦共和国的哈萨维尤尔特,1999年7
  • 马尼哈里马尼哈里(Manihari),是印度比哈尔邦Katihar县的一个城镇。总人口21783(2001年)。该地2001年总人口21783人,其中男性11523人,女性10260人;0—6岁人口4088人,其中男2113人,女1975人;识字
  • 泽尔莫·比蒂小泽尔莫·比蒂(英语:Zelmo Beaty Jr.,1939年10月25日-2013年8月27日),美国NBA联盟职业篮球运动员。他在1962年的NBA选秀中第1轮第3顺位被圣路易斯鹰选中。
  • 峇央峇鲁峇央峇鲁(马来语:Bayan Baru)是马来西亚槟城州西南县的新兴市镇,距乔治市市中心约16.7公里。峇央峇鲁是峇六拜的主要市郊,毗邻峇六拜自由贸易工业区,东依木寇山岛(马来语:Pulau Jerejak),有海河流经城中并最终流入槟威海峡。峇央峇鲁于1972年随着临近自由工业区的落成而发展至今,期间众多房屋产业、商业楼宇与企业大兴土木。如今,多项发展计划入驻峇央峇鲁,带动各大高楼和基础建设的开发,集齐教育、医疗、商业、体育和交通等功能。1969年,林苍祐上任槟城第二任首席部长,议决在峇六拜开发自由工业