可替代的集合论

✍ dations ◷ 2025-12-11 00:39:25 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 理论化学理论化学 运用非实验的推算来解释或预测化合物的各种现象。近年来,理论化学主要包括量子化学,即应用量子力学来解决化学问题。理论化学可以泛泛地分为电子结构、动力学和统计
  • 卡德加·普拉萨德·夏尔马·奥利卡德加·普拉萨德·夏尔马·奥利(尼泊尔语:खड्ग प्रसाद शर्मा ओली;1952年2月22日-)是尼泊尔的一名共产主义政治家。2014年7月,他成为尼泊尔共产党(联合马列)主席
  • 和平县和平县位于中国广东省东北部,处在东江上游,属于河源市管辖。东边与广东省龙川县相邻,南边与广东省东源县相邻,西边与广东省连平县相邻,北边与江西省龙南县、定南县相连。和平县总
  • 马尔科·格鲁伊奇马尔科·格鲁伊奇(塞尔维亚语:Марко Грујић;1996年4月13日-)是一位塞尔维亚足球运动员。在场上的位置是中场。现时被英超球队利物浦外借至德甲哈化柏林。他也代表塞
  • 四苄基铪四苄基铪是一种金属有机化合物,化学式为Hf(CH2C6H5)4,它可用作烯烃聚合催化剂的前体。将高纯度的四氯化铪置于干燥的乙醚中搅拌,降温至−78 °C后滴加1.0 mol/L的苄基氯化镁的
  • 达乌德·拉吉哈达乌德·本·阿卜杜拉·拉吉哈中将(阿拉伯语:العماد داود بن عبد الله راجحة‎)(1947年-2012年7月18日)是已故叙利亚政治人物、叙利亚陆军军官,曾任叙陆军
  • 王国忠 (清朝)王国忠(?-1862年),嘉义人,本籍福建,清朝水师将领,行伍出身,于1859年(咸丰九年)奉旨接替黄礼�,于台湾担任台湾水师协副将。而隶属台湾镇之下的此官职是台湾清治时期的这阶段,全台湾的海防军
  • 印第安人头像一美分硬币印第安人头像一美分硬币(英语:Indian Head cent)又名印第安人头像分币(Indian Head penny),是美国铸币局1859至1909年生产的一美分硬币,费城铸币局首席雕刻师詹姆斯·巴顿·朗埃克设计。1793至1857年间,美国通行的一美分硬币材质以铜为主,尺寸和半美元差不多。加利福尼亚州发现黄金导致大幅通胀,源源不断流入市场的黄金促使铜价上升。一直以来,铸币局基本只能靠生产一美分和半美分获利,面对原材料涨价,铸币局到1850年已不得不另辟蹊径。1857年,铸币局缩小分币尺寸,材质改为
  • 三振在棒球比赛中,打击者经裁判判定获得三个好球后,即被三振。记一出局。另外,三振为投手之统计数据。打者被判定三振出局之同时,当时投球之投手即可获计一次夺三振。三振能力被认为是投手能力的重要指标之一,一般以K/9值(投手平均每9局投出的三振次数)计算,以职棒层级来说,K/9值大于7就算是不错的三振型投手,小于6则代表不以三振见长。棒球规则中,规定两好球之后击球界外球时不计好球数,因此打者可继续攻击。但如果是摆短棒触击而造成的界外球,则记一好球,打者三振出局。如擦棒球(球往后飞行未超过头部高度的界外球)被捕手接捕
  • 里克·卡洛韦理查德·马龙·卡洛韦(英语:Richard Marlon Calloway,1966年12月12日-),美国NBA联盟前职业篮球运动员。