可替代的集合论

✍ dations ◷ 2025-11-18 09:11:08 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 盐水蜂炮盐水烽炮,位于台南市盐水区,由盐水武庙主办,所谓烽炮是指许多冲天炮组成的大型发炮台(状如多管火箭炮组合),点燃时万炮齐发,会发出鸣声,称“烽炮”。盐水烽炮名列世界三大民俗庆典,享
  • 十里望镇十里望镇,是中华人民共和国山东省德州市禹城市下辖的一个乡镇级行政单位。十里望镇下辖以下地区:殷曲社区、粉王社区、牛徐社区、十里望社区、宋家河套社区、王楼社区、店张社
  • 2019冠状病毒病疫苗SARS-CoV-2(病毒)国际运输2019冠状病毒病疫苗是一种尚处在试验阶段的针对2019冠状病毒病(COVID-19)的疫苗。目前已经有多种研发这种疫苗的尝试正在进行,尽管暂时没有疫苗完成临床
  • 奥古斯特·克罗沙克·奥古斯特·史丁伯格·克罗(Schack August Steenberg Krogh,1874年11月15日-1949年9月13日)是一位拥有罗姆人吉普赛血统的丹麦人,在1916年到1945年间,是哥本哈根大学动物生理
  • 刘珖刘珖,山东省登州府莱阳县人,今划属莱西县。明崇祯壬午副榜,清顺治乙酉举人,顺治己丑科(1649年)进士,历任河南彰德府推官,授文林郎,行取御史。丁酉降补江西按察司照磨,后升上林苑监良牧
  • 义姁义姁,一作义妁(?-?年),西汉河东郡(今山西永济)人,与东晋鲍姑、北宋张小娘子、明朝谈允贤同被称为中国古代四位女名医。汉武帝刘彻时,义姁医好武帝母王太后的疾病,一日王太后问她有儿子或
  • 李共李共为中国清朝武官官员,本籍浙江。武举人出身的李共于1797年(嘉庆2年)奉旨接替董金凤,于台湾地区担任台湾水师协副将。而隶属台湾镇之下的此官职是台湾清治时期的这阶段,全台湾
  • 克利福德·埃德蒙德·博斯沃思克利福德·埃德蒙德·博斯沃思(英语:Clifford Edmund Bosworth;1928年12月29日-2015年2月18日)FBA(英语:Fellow of the British Academy),是一位英国历史学家、东方学学者,专攻阿拉伯学(英语:Arab studies)、伊朗学。博斯沃思1928年12月29日生于英格兰谢菲尔德。他的父亲克利福德·博斯沃思曾在监护委员会(英语:Board of Guardians)和养老金与国家保险部(英语:Ministry of Pensions and
  • 2012年世界男子冰球锦标赛2012年世界男子冰球锦标赛为国际冰球总会所主办的第76届赛事。共有46个国家与地区代表队参加4个级别的赛事。A组 B组 A组 B组 A组 B组
  • 得梅因 (华盛顿州)得梅因(英语:Des Moines,官方发音为/dɪˈmɔɪn/,但当地人常念作/dɪˈmɔɪnz/)是美国华盛顿州金县的一座城市,2000年人口29,267人。得梅因位于普吉特海湾东岸,约在西雅图和塔科马的半途之间。