可替代的集合论

✍ dations ◷ 2025-12-06 09:10:38 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 岩相学岩象学(英语:Petrography)是岩石学的一个分支,专注于岩石的详细描述。研究岩相学的人被称为岩象学家(英语:petrographer)。岩石中的矿物含量和组织(texture)的关系被详细的描述。岩
  • 首长黄道蟹Cancer magister Dana, 1852首长黄道蟹(Cancer magister),又名邓杰内斯蟹、邓金斯螃蟹、珍宝蟹、唐金蟹、黄金蟹或邓津蟹,是黄道蟹科黄道蟹属的一个蟹种,通常栖息于从阿拉斯加的
  • 中华人民共和国国家人口和计划生育委员会1999年规定:印章直径5厘米,中央刊国徽,由国务院制发 中华人民共和国国家人口和计划生育委员会,简称国家人口计生委,是中华人民共和国国务院已撤销的负责中华人民共和国人口和计
  • 诗艺《诗艺》,古罗马诗人贺拉斯的作品,是《书札》这部名著之中的名作。贺拉斯的代表性作品有:《讽刺诗集》2卷、《歌集》4卷、《长短句集》、《书札》。《书札》分作2卷,第一卷主要
  • 视束视束(optic tract)是大脑中视觉系统的一个组成部分。它是视神经的延续,通过视交叉与视神经相接,并通向外侧膝状体(LGN)。右侧视束由来自右眼颞侧的神经纤维和左眼鼻侧的神经纤
  • 世界图书出版公司世界图书出版公司(简称:世图公司)为中华人民共和国一家国有出版社,是中国出版集团公司的成员单位。世界图书出版公司成立于1986年,总部设于北京市,因而名义上旗下的世界图书出版公
  • LibreCADLibreCad,是一个能运行在Windows、MAC、Linux上的自由的开源个人CAD应用程序。原先是QCad社群版的一个分支。
  • 张培勋张培勋(?年-1965年),字子杰。山西省崞县人。他为抗日战争期间的中国军方高级将领之一。骑兵第一师第二团上校团长,凉城抗战后不明下落,列入阵亡名单。而张培勋侥幸突围,易名“张开印
  • 1480年
  • 圣经心理学圣经心理学是基督教神学家就现时心理学的方法及理论,加以配合《圣经》的中心思想而成的学科。他们认为:现代心理学是基于佛洛依德的学说及柏拉图的古希腊哲学思想而建立的学说,是一种消极的学说,所以以此为基础的辅导,并未能为被辅导者带来希望。若依照心理学的理论和方法进行辅导的话,会使人逐渐远离神,因为圣经上说:圣经心理学着重魂和灵的差异,而不是视为同义词。