可替代的集合论

✍ dations ◷ 2025-11-24 05:19:44 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 心境恶劣障碍持续性抑郁症(精神官能性忧郁症,Persistent Depressive Disorder (PDD))是一种慢性情绪失调,属于抑郁症范畴。持续时间比重度抑郁症长,但症状相对较轻。慢性抑郁症是一种轻度的抑
  • 坦桑尼亚十数樟坦桑尼亚十数樟是白桂皮科中的一个物种,原生于坦桑尼亚。
  • 施泰因万德山 (上施瓦布山脉)坐标:47°39′54″N 14°44′50″E / 47.66500°N 14.74722°E / 47.66500; 14.74722施泰因万德山(德语:Steinwand),是奥地利的山峰,位于该国东南部,由施泰尔马克州负责管辖,属于上
  • 正比计数器正比计数器是一种用气体作工作介质,输出信号的脉冲幅度与入射辐射的能量成正比的探测器,可以对单个粒子进行计数,其能量分辨率和线性响应较好,探测效率高、寿命长,广泛应用于粒子
  • 缪嘉蕙缪嘉蕙(1842年-1918年),字素筠,亦作素耘,女,云南昆明人,清朝画家、书法家。
  • 斯特姆–鲁格斯特姆−鲁格公司(英文:Sturm, Ruger & Company, Inc.)是美国一家枪械制造公司,名称经常被简称为鲁格(Ruger),总部位于康乃狄克州费尔菲尔德的南港(Southport),公司口号是“武装尽职的
  • 布里克斯顿塔圣特克塔(南非语:Sentech-toring,英语:Sentech Tower),前称阿尔伯特·赫尔佐格塔(南非语:Albert Hertzog-toring,英语:Albert Hertzog Tower),通称布里克斯顿塔(南非语:Brixton-toring,英语:Brixton Tower),是一座位于南非约翰内斯堡布里克斯顿(英语:Brixton, Gauteng)郊区的混凝土电视塔。其高237米(778英尺),靠近布里克斯顿山脊顶部。其与“建筑表弟”希尔布罗塔均为城市内一个众所周知且易于识别
  • 李延禧 (台湾)李延禧(1883年7月12日-1959年9月8日),台北大稻埕人,李景盛与陈款次子、李春生孙。李延禧为台湾最早的留日、留美学生,日治时期重要的台湾金融界先驱。1883年7月12日,李延禧生于台北大稻埕,为家中次子,祖父李春生是一名基督徒,通英文,以买办身份自厦门来台,引进福建安溪茶种,并以贩卖乌龙茶至美国致富,有“台湾乌龙茶之父”之誉,是当时全岛著名的绅商;父亲李景盛(李春生长子)亦为买办,襄理家族事业。在李延禧的成长阶段,家族正好经历了台湾从清领时期到日治时期的时代转变,祖父李春生在1895年乙未鼎革之
  • 鼓山珠灵殿鼓山禾田社珠灵殿,位于台湾高雄市鼓山区鼓山二路168巷14弄1号,主祀朱府千岁,分灵自澎湖县马公市兴仁懋灵殿。鼓山珠灵殿创建于日治时期大正十五年(1926年、民国15年)。民国77年(1988年)动土重建,民国78年(1989年)竣工落成安座。民国104年(2015年),举办“鼓山禾田社珠灵殿开基九十周年祈安清醮大典”。鼓山珠灵殿主祀朱府千岁,配祀关圣帝君、观音菩萨、释迦佛祖、虎爷公、福德正神、司命灶君。
  • 鬬怀鬬怀(?-?),芈姓,鬬氏,名怀,中国春秋时期楚国大臣,父蔓成然(鬬成然)。 鬬成然有德于楚平王,不知节制。与养氏勾结,贪得无厌。楚平王担心。前528年九月初三甲午,楚平王杀鬬成然,灭养氏之族。使其子鬬辛住在郧地,表示不忘鬬氏旧勋。前506年,吴国柏举之战大破楚国,鬬辛的弟弟鬬怀要杀死楚平王的儿子楚昭王报父仇:“平王杀了我父亲,我杀平王的儿子,不也是应该的吗?”被鬬辛阻止。鬬辛就和他弟弟鬬巢护卫着楚昭王逃亡到随国。次年,楚国复国,楚昭王赏赐鬬辛、王孙由于、王孙圉、钟建、鬬巢、申包胥、王孙贾、宋木、鬬怀。令