可替代的集合论

✍ dations ◷ 2025-11-18 22:50:16 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 复活节星期一复活节星期一(英语:Easter Monday)是复活节星期日后的第一天,一些主要的基督教文化都会庆祝这一节日,尤其是信仰罗马天主教会的文化。在罗马天主教圣人历中,复活节星期一位于复活
  • 法兰克帝国法兰克王国(拉丁语:Regnum Francorum;法语:royaume des Francs;意为“法兰克人的王国”)是5世纪至9世纪在西欧和中欧的一个王国,其疆域与罗马帝国在西欧的疆域基本相同。法兰克王国
  • 山稻山稻属于旱稻的一种概称品类,指离水性高到不仅不必种于水田还能种活在缺水的山丘地之稻米,史上记载最早大规模种植出现于中国北方山丘地带。史书记载:“山稻,种于内图及黎山中,燔
  • 莫里斯·梅洛-庞蒂莫里斯·梅洛-庞蒂(法语:Maurice Merleau-Ponty,法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicod
  • 柯杨柯杨(1955年7月-),汉族,中华人民共和国政治人物、第十一届全国政协委员。加入中国共产党,担任北京大学常务副校长、党委常委、医学部常务副主任。2008年,当选第十一届全国政协委员,
  • 卢祖皋卢祖皋(约1174年-1224年),字申之,又字次夔,号蒲江,永嘉(今浙江温州)人。楼大防之甥。庆元五年(1199年)进士,初任淮南西路池州教授。嘉泰二年(1202年),调任两浙西路吴江(今苏州市)主簿。嘉定十
  • AiNA THE ENDAiNA THE END(日语:アイナ・ジ・エンド,1994年12月27日-),日本女歌手、舞者、词曲作家,偶像团体BiSH成员。出生于日本大阪府。4岁开始跳舞,高校
  • 伊德拉尔多·贝里尼伊德拉尔多·路易斯·贝里尼(葡萄牙语:Hilderaldo Luiz Bellini,1930年6月7日-2014年3月20日)是一名前意大利裔巴西足球运动员,司职后卫,他是协助巴西夺得1958年世界杯及1962年世界杯冠军的主要功臣之一。贝里尼于2014年3月20日在圣保罗去世,享年83岁,原因是阿尔茨海默病引起的并发症导致心脏骤停。贝里尼的球员生涯于瓦斯科展开,随后先后效力圣保罗及巴拉纳竞技。贝里尼于1957年首次代表巴西国家队上场,翌年以队长身份出席1958年世界杯,并首次夺得冠军;四年后再次带领巴
  • 铳梦 (OVA)美国版DVD封面《铳梦》(日语:銃夢,英语:)是一部于1993年在日本以原创动画录像带(OVA)形式发行的动画,剧情根据木城幸人创作的同名漫画改编。OVA由福富博执导,远藤明范(日语:遠藤明範)编剧,和田薰配乐并由MADHOUSE负责动画制作。OVA分成上下两集,上集为〈生锈的天使(ラスティ・エンジェル,Rusty Angel)〉,下集为〈眼泪的记号(ティアーズ・サイン,Tear Sign)〉,剧情涵盖原作的马卡克篇和尤浩篇,并新增了一些角色。原作《铳梦》于1990年底开始在集英社杂志《Business
  • 青山宫青山宫可以指下列的灵安尊王庙: