可替代的集合论

✍ dations ◷ 2025-12-04 13:53:32 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 水葬水葬,是将尸体投入江河湖海中的一种丧葬方式。这种习俗主要流行于大洋洲的部分族群和亚洲中国南方的部分地区中。而水葬中目前最为出名的海葬,则主要流行于欧美地区。早在中国
  • 海军陆战队美国海军陆战队(英语:United States Marine Corps,缩写为 USMC),又称美国陆战队,是美国军队中的海军陆战队及两栖作战部队,其主要职责是运用美国海军的舰队(含航空兵),快速抵达全球各
  • 优良国家指数优良国家指数(英语:Good Country Index)评估了名单中的163个国家透过其政策和行为对地球和人类发展的促进程度。优良国家指数是综合了主要由联合国提供的35组数据统计而产生。
  • 宇宙 (系统)宇宙(英语:Cosmos)是人类对于客观宇宙(英语:Universe)所理解的产物。一般来说,英语词“cosmos”所表示的是一个有序且和谐的系统。它源自于古希腊语词“κόσμος()”,原义是秩序或
  • 中医外科学中医外科学所指的多半为皮肤病等显而外见的疾病,与现行的一般外科病处理的疾病不相同。 中医外科学涉及病证、辩证治法有如下特征:
  • A25高速公路 (意大利)A25高速公路(意大利语:Autostrada A24),和A24高速公路合称公园之路(意大利语:Strada dei Parchi,因穿越大萨索山和拉加山国家公园和马耶拉国家公园而得名),是意大利一条高速公路,自托
  • 羚羊谷线南加州都会铁道(洛杉矶到伯班克的铁路)羚羊谷线(英语:Antelope Valley Line)也有称为安蒂洛普山谷线,是南加州都会铁道运营的一条线路,来往于兰开斯特和洛杉矶联合车站之间,线路名因
  • 斯沃琪斯沃琪(英语:Swatch)是一家总部位于瑞士伯恩州比尔的时尚手表制造商,由尼古拉·海耶克成立于1983年。该公司是斯沃琪集团的子公司。该产品线是为应对20世纪70和80年代的“石英危
  • 一亩泉坐标:38°56′38″N 115°21′57″E / 38.94389°N 115.36583°E / 38.94389; 115.36583一亩泉,位于中华人民共和国河北省保定市竞秀区南奇乡一亩泉村(原属满城县),是府河的源头
  • 2001年12月阿根廷危机的背景下对其进行构架”。他还与激进参议员集团的负责人卡洛斯·马斯特罗(Carlos Maestro)进行了交流。总统摄影师维克多·布格(Víctor Bugge)记录了这位前总统在办公桌上整理物品的画面。其辞职信内容如下: .mw-parser-output .templatequote{margin-top:0;overflow:hidden}.mw-parser-output .templatequote .templatequotecite{line-height:1em;text-align:le