可替代的集合论

✍ dations ◷ 2025-11-16 15:49:40 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 三棱镜三棱镜是光学棱镜中的一种形式,在外观上呈现几何的三角形,是光学棱镜中最常见,也是一般人所熟知的,但并不是最常用到的棱镜。三棱镜最常用于光线的色散,这是将光线分解成为不同的
  • 戴王缙戴王缙(?-?),字绅黄,号云极,直隶沧州(今河北)人,清朝政治人物,进士出身。顺治十五年(1658年)登戊戌科进士,官行人司行人。著有《萧云斋集》。高祖戴才,明万历间尚书。父戴明说,清顺治间尚书。
  • 何澄 (民国政治人物)何澄(1880年-1946年),号亚农。山西省灵石县人,中国企业家、政治人物。曾经留学日本,是同盟会最年成员。1909年,当保定军官学校教官。1916年退职。任沧石铁路筹备局局长,成为选为中央
  • 曹江 (清朝官员)曹江(1781年-1837年),字玉水。清代江苏青浦人。曹锡宝之子。乾隆四十六年(1781年)出生。因父荫授官。嘉庆十年(1805年),由实录馆校对签掣大理寺右评事。嘉庆十七年因事革职,发往乌鲁木
  • 重要性采样重要性采样(英语:importance sampling)是统计学中估计某一分布性质时使用的一种方法。该方法从与原分布不同的另一个分布中采样,而对原先分布的性质进行估计。重要性采样与计算
  • 伊布拉河坐标:50°49′57.65″N 9°34′8.9″E / 50.8326806°N 9.569139°E / 50.8326806; 9.569139伊布拉河(德语:Ibra),是德国的河流,位于该国中部,由黑森州负责管辖,属于奥拉河的支流,河
  • 马克西姆·巴达卓夫马克西姆·巴达卓夫(白俄罗斯语:Максім Бардачоў;1986年6月18日-)是一位白俄罗斯足球运动员。在场上的位置是后卫。他现在效力于俄罗斯足球超级联赛球队罗斯托夫足球俱乐部。他也代表白俄罗斯国家足球队参赛。
  • 克里斯托弗·马洛克里斯托弗·马洛(英语:Christopher Marlowe,1564年-1593年5月30日),英国伊丽莎白年代的剧作家、诗人及翻译家,为莎士比亚的同代人物。马洛以写作无韵诗(blank verse)及悲剧闻名,亦有学者认为他在生时比莎士比亚更出名。1593年5月18日,英国政府下令通缉马洛,但却并没有列出任何理由。同月20日,马洛于被带到英国枢密院前接受审讯,其后需要每天向他们报到。10天后,马洛与Ingram Frizer等人争执期间,被Ingram Frizer用匕首刺死。到了现在,仍没有人知道
  • 慢慢说乐团慢慢说乐团,由利得汇(点点)和沈志方组成的二人组合慢慢说乐团,其词曲创作、演唱以俏皮及轻松的态度,带点无厘头的幽默气质,在从Diva Universal频道所举办的美国影集《SMASH一鸣惊人》歌唱大赛中崭露头角、获得亚洲区冠军,也受日本经纪公司AMUSE慧眼独具青睐成为台湾签约首支乐团,也成为福山雅治、Perfume和南方之星、ONE OK ROCK的晚辈。在专辑筹备期间更受大专体总之邀演唱年度热力宣传曲《Higher》。于2014年曾参加《中国好歌曲》第一季成为蔡健雅组学员,以创作曲《五虎》跻身蔡健雅
  • 少女Beat— 期数全49期《少女Beat》(英语:)是美国碧日传媒出版的日本少女漫画月刊,于2005年6月发行创刊号(2005年7月号),是同社漫画杂志《少年Jump》(美国版的《周刊少年Jump》)的姊妹刊物。杂志每期连载6部漫画作品,并收录有日本文化、漫画、动画、时尚和美女的相关文章。《少女Beat》经过两次改版,是美国漫画杂志采用日本漫画杂志常见的青色和洋红色色系印刷的首例。碧日传媒也推出了与该杂志同名的女性向漫画、轻小说和动画品牌。该杂志的主要读者群为13至19岁的女性,创刊号的发行量为2万份。到了2007