可替代的集合论

✍ dations ◷ 2025-04-04 11:09:45 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 肺性心肺性心即肺性心脏病(cor pulmonale,CP),是肺的疾病引起肺循环障碍,导致肺动脉压亢进,造成右心室肥大扩张的状态。会出现发绀、颈静脉充血、水肿等症状。
  • 开源软件开源软件(英语:open source software,缩写:OSS)又称开放源代码软件,是一种源代码可以任意获取的计算机软件,这种软件的著作权持有人在软件协议的规定之下保留一部分权利并允许用户
  • 鸽形目small/small鸽形目(学名:Columbiformes)在动物分类学上是鸟纲中的一个目,现在仅包含一科——鸠鸽科。今天分布广阔、种类众多的鸽子与已经灭绝的愚鸠(渡渡鸟)都属于鸠鸽科。沙鸡科(Pteroclidae
  • 勒特菲娅·阿勒纳迪勒特菲娅·阿勒纳迪(阿拉伯语:لطفية النادي,拉丁拼音:Latifa Elnadi,1907年10月29日-2002年),生于开罗,是埃及第一位女性飞行员,同时也是第一位非洲女性飞行员和第一位阿拉
  • 清朝兵部尚书列表下表列出清朝兵部尚书:
  • 京都国际漫画博物馆京都国际漫画博物馆(日语:京都国際マンガミュージアム/きょうとこくさいマンガミュージアム;英语:Kyoto International Manga Museum),位于日本京都府京都市中京区,是座以漫画为主题
  • 段末波段末波(?-325年,此名系根据《魏书》所载,《晋书》则作段末杯,《资治通鉴》作段末柸),中国十六国时期段部鲜卑的首领,辽西公。是段就六眷、段匹䃅的堂兄弟,前任首领段涉复辰的堂侄。312
  • 高海岸高海岸(瑞典语:Höga kusten)是瑞典波的尼亚湾海岸的一部分,因其保留有完好的冰河时代的地形而闻名。2000年,联合国教科文组织将高海岸列入世界自然遗产。在2006年,这一世界自然遗
  • 伊娃·琪玛克伊娃·琪玛克(Eva-Maria Schimak,1986年8月11日-)是一名奥地利帆船运动员,曾代表国家参加2012年伦敦奥运的双人小艇470型比赛,并未获得奖牌。
  • 蒋明红蒋明红(1957年9月-),男,汉族,广西全州人,中华人民共和国政治人物,曾任广西壮族自治区人大常委会秘书长,第八届全国政协委员。