可替代的集合论

✍ dations ◷ 2025-12-02 18:12:29 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 蜡石蜡石(Ceraphite或Chaoite)是第四种碳的同素异形体,也称作白碳。它的存在是有争议的。蜡石在1969年发现,是人类所知最软的纯物质之一。当在游离蒸发环境下加热至超过2,550绝对温
  • 黄海坐标:35°0′N 123°0′E / 35.000°N 123.000°E / 35.000; 123.000黄海,韩国和朝鲜基于地理位置称西海,是太平洋西部的一个边缘海,位于中国大陆与朝鲜半岛之间。黄海平均水深4
  • 星系团星系团(Galaxy clusters、Cluster of galaxies)是由星系组成的自引力束缚体系,通常尺度在数百万秒差距或数百万光年,包含了数百到数千个星系。包含了少量星系的星系团叫做星系群
  • 无质量粒子在粒子物理学中,无质量粒子是一种不变质量为零的基本粒子。两个已知的无质量粒子都是规范玻色子:光子(电磁学的载体)和胶子(强相互作用力的载体)。然而作为自由粒子,胶子从来没有被
  • 萨英战争萨英战争(日语:薩英戦争/さつえいせんそう Satsu-Ei Sensō、英语:Anglo-Satsuma War),又称鹿儿岛炮击事件(英语:Bombardment of Kagoshima),1863年8月15日-1863年8月17日,是英国为了促
  • 巴诺布猿倭黑猩猩(学名:Pan paniscus),又名倭猩猩、僰猿、矮黑猩猩或巴诺布猿,是黑猩猩属下的两种动物之一,起先倭黑猩猩被认为和黑猩猩是同种生物,直到1920年代,才有人察觉两者的不同,而将之
  • 钍的同位素钍(标准原子质量(英语:Standard atomic weight):232.0377)有6种天然存在的同位素,但没有任何一种是稳定的。其中,232 Th最为稳定,半衰期长达140亿年(1.4×1010),比地球的年龄和普遍接受
  • 邦巴赖半岛邦巴赖半岛(印尼语:Semenanjung Bomberai),是印度尼西亚位于新几内亚岛上的一个半岛,由西巴布亚省管辖,分属法克法克县、凯马纳县和宾图尼湾县,半岛上主要城市法克法克。
  • 长江口以北的中国岛屿中国沿海岛屿数量众多,不过大部分集中在浙江、福建等南方省份,长江口以北的黄海和渤海海域岛屿相对较少。下表所列为中国长江口以北海域中四面环海的的海岛(不含人工陆连岛),长江
  • 陈顺详陈顺详(1985年5月28日-)是前台湾男子篮球运动员,场上主打小前锋位置。陈顺详生涯效力过九太科技、东森羚羊与台湾银行,为超级篮球联赛第四位生涯总得分突破四千大关的球员。2020年6月29日,陈顺详决定褪下球衣。11月28日,台银男篮为陈顺详举行退休仪式。