可替代的集合论

✍ dations ◷ 2025-11-30 09:31:10 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 反射作用反射是神经活动的最基本方式,是指有机体的中枢神经对外界刺激所做出的有规律的应答。也是一切心理与行为的生物学基础。
  • 三读通过三读 (Reading) 是立法机关的一种立法程序,产生于英国西敏制的政治制度,主要是在通过一项法案或拒绝通过法案前,需要多次宣读法案条文而得名。在该程序中,立法代表及政府代表会
  • 梅县话本文属于客家系列的一部分梅县话(国际音标:moi jen fa)是一种通行于广东梅州市区(梅江区、梅县区)的客家语方言。梅县话历来被公认为客家语的代表。中国国际广播电台是中国唯一国
  • 伍尔特集团福士集团(Würth-Gruppe),或译伍尔特集团,是一家总部位在德国金策尔绍的跨国批发商,该企业致力于紧固件、螺丝及其配件、定缝销钉、化学工业、电子及机电元件、家具及建筑施工配
  • 陈中孚 (1766年)陈中孚(1766年-1826年),字心畲,湖北武昌(今鄂城)人,清朝官员。他于道光元年(1821年)奉旨担任按察使衔分巡台湾兵备道,为台湾清治时期这阶段的地方统治者。
  • 彼得里斯·瓦斯克斯彼得里斯·瓦斯克斯(拉脱维亚语:Pēteris Vasks,1946年4月16日-),拉脱维亚作曲家。神圣简约主义的代表作曲家之一。 瓦斯克斯生于拉脱维亚利耶帕亚县艾兹普泰的一个浸信会牧师家庭
  • 六羰基丙二硫醇二铁六羰基丙二硫醇二铁是一种有机铁化合物,化学式为Fe2(S2C3H6)(CO)6。它是红色抗磁性的固体。它是具有6个末端羰基配体结构的化合物,是氢化酶模拟物的前体。该化合物可由1,3-丙
  • 不是你所认识的我V2《不是你所认识的我V2》(韩语:니가 알던 내가 아냐 V2,英语:Guess My Next Move V2)是韩国Mnet于2019年推出的综艺节目,为不是你所认识的我的第二季,由张圣圭、李常敏、Boom、郑
  • 科罗海科罗海是位于太平洋岛国斐济的海,取命自科罗岛,该海四周被斐济群岛环绕,东面是拉乌群岛的维提岛,北面是瓦努阿岛。坐标:18°S 180°E / 18°S 180°E / -18; 180
  • 蔡式谷蔡式榖(1884年4月28日-1951年9月4日),台湾新竹人,台湾日治时期律师,社运、政治家。乳名乞,之后取名式榖,晚号春圃。蔡式谷于清治光绪十年(1884年)4月28日生于新竹,以小名蔡乞行于世;祖籍福建泉州同安。日治时期明治三十年(1897年),入新竹国语传习所(设在明志书院)。1903年台湾总督府国语学校师范部乙科毕业,任于新竹公学校训导,1909年于桃园公学校担任教谕,之后前往日本内地求学,主攻法律。大正二年(1913年)毕业于明治大学专门部法科。大正十二年(1923年)2月,取得律师资格。蔡式