可替代的集合论

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

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

一些可替代的集合论:

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

相关

  • 紊流湍流(英语:turbulence),也称为紊流(大陆地区的旧称),是流体的一种流动状态。当流速很小时,流体分层流动,互不混合,称为层流,或称为片流;逐渐增加流速,流体的流线开始出现波浪状的摆动,摆动
  • 比利时众议院政府 (38)信任供给 (57)反对党 (55)众议院(法语:Chambre des Représentants;荷兰语:Kamer van Volksvertegenwoordigers;德语:Abgeordnetenkammer)是比利时联邦议会的下议院,和参议
  • 1169年重要事件及趋势重要人物
  • 丸高爱实丸高爱实(日语:まるたか まなみ,1990年6月12日-)是日本东京都出生的电视艺人、女演员及前写真偶像,所属经纪公司为Avex Vanguard。她的丈夫是足球运动员柿谷曜一朗。
  • 新几内亚领地新几内亚领地(英语:Territory of New Guinea)是从1920年至1975年由澳大利亚管辖的新几内亚岛领土。新几内亚领地原为德属新几内亚,在第一次世界大战期间被澳大利亚部队占领。194
  • 萨米尔·卡鲁瑟斯萨米尔·卡鲁瑟斯(英语:Samir Carruthers;1993年4月4日-)是一位爱尔兰足球运动员。在场上的位置是边锋。他现在效力于英乙球队剑桥联。他也代表爱尔兰国家足球队参赛。
  • 李·恩格里比李·恩格里比(Lee David Ingleby,1976年1月28日-)是英国的一位演员。他曾经出演过怒海争锋:极地征伐等电影,以及屋事生非等电视剧。
  • 2010年–2020年载人航天飞行列表这是一个2010年-2020年的完整载人航天飞行列表。
  • 阿部拓马阿部拓马(1987年12月5日-),日本职业足球运动员,司职前锋,现效力于日乙球队FC琉球。阿部拓马出生于1987年12月5日,此前在日乙联赛的东京绿茵效力。阿部拓马的身体条件并不很出色,但他有着出色的技术和极强的射门能力,被视为日乙联赛的最佳中场。在2012赛季的日乙联赛中,阿部拓马出场35次打进18球,是队内的头号射手,在日乙联赛射手榜上也位居次席。而在2011赛季,阿部拓马也曾打进16球。阿部拓马之前和东京绿茵还剩半年到期,由于在2012赛季东京绿茵升级失败,阿部拓马决定离开日乙联赛赴欧洲足坛闯荡。
  • 黄农 (1898年)黄农(1898年-1974年7月),号稼初,男,福建邵武人,中国生物学和植物病理学家、政治人物,曾任第二届全国政协委员。