可替代的集合论

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

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

一些可替代的集合论:

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

相关

  • 布兰登大学布兰登大学(英文:Brandon University)是加拿大一所公立大学,属于小型大学,于1899年成立,位于曼尼托巴布兰登。于2008/2009学年,共有学生约4,000人。2015年加拿大大学部排名第16名,其
  • 高速国内铁路伦敦与东南铁路公司(London & South Eastern Railway Limited),通常以东南铁路(Southeastern)作为营运时的商标名,是英国的一家铁路客运公司,于2006年4月1日取得铁路客运的专营权,以
  • 布鲁克斯-巴克斯特战争布鲁克斯-巴克斯特战争(英语:Brooks–Baxter War,或称布鲁克斯-巴克斯特事件)是在1874年4月15日~1874年5月15日发生在美国阿肯色州小石城的一起武装冲突。冲突起源于北方派共和党
  • 温弗里德·登克温弗里德·登克(德语:Winfried Denk, 1957年11月12日 -),出生于慕尼黑,德国物理学家,马克斯·普朗克神经生物学研究所的主任。他1990年在瓦·韦伯(Watt W. Webb)的实验室做博士后
  • 乔治·佩雷克乔治·佩雷克(法语:Georges Perec .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentiu
  • 蒋德璟蒋德璟(1593年-1646年),字中葆,号八公,又号若柳,福建晋江福全所人,祖籍直隶歙县,明朝末年政治人物。父蒋光彦,万历壬辰进士,官至江西副使。蒋德璟中式万历三十七年(1609年)己酉科举人,天启
  • 南店头乡南店头乡,是中华人民共和国河北省保定市唐县下辖的一个乡镇级行政单位。南店头乡下辖以下地区:南店头村、田辛庄村、礼泉村、西高和村、南高和村、葛堡村、娄高和村和红山庄村
  • 耶尔斯维克峰坐标:85°19′S 168°0′W / 85.317°S 168.000°W / -85.317; -168.000耶尔斯维克峰(英语:Gjelsvik Peak),是南极洲的山峰,位于杜费克海岸,处于弗里乔夫南森山西北面5公里,属于毛德
  • 阿迪·许特尔阿迪·许特尔(德语:Adi Hütter,1970年2月11日-)是一位奥地利前足球运动员及现任足球教练,现执教于德甲俱乐部门兴格拉德巴赫。许特尔的足球生涯始于阿尔特阿赫的青训营。1992年,这位中场球员转会至格拉茨AK,其后又加盟奥地利萨尔茨堡。在那里,他曾三次加冕奥地利足球冠军(德语:Österreichischer Meister (Fußball))及奥地利超级杯冠军。在1993-94赛季欧洲联盟杯中,萨尔茨堡闯入了决赛(英语:1994 UEFA Cup Final),但主客场均以0比1不敌国际米
  • 暴女暴女是一种地下朋克女性主义运动,缘起于公元1990年代早期的华盛顿州(特别是奥林匹亚)以及西北岸。这是一种融合了女性主义、朋克风格,以及政治的次文化,通常被与第三波女性主义做连结,也就是该文化的起始点。暴女也被描述为一种由独立摇滚衍伸出来以朋克为灵感所引发的音乐风格,传达出女性可以自由表达意见,就如同男性一直以来一样。暴女乐团通常在歌词中关注各式议题,诸如强暴、性别歧视、种族歧视、家庭暴力、父权,以及女性赋权。主要相关乐团有Bikini Kill, Bratmobile, Heavens to Betsy