可替代的集合论

✍ dations ◷ 2025-11-26 13:48:19 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 面谈面谈或采访,是指一种涉及两名或以上人士的对话,由一方发问,并由另一方回答。面谈的其中常见的一种形式是面试,这是大部分企业在招聘员工过程中需要的一环。此外,面谈亦是新闻采访
  • 君士坦丁 (阿尔及利亚)君士坦丁(阿拉伯语:قسنطينة‎,法语:Constantine)位于阿尔及利亚东北部,是君士坦丁省的首府,西距首都阿尔及尔322公里。根据2008年人口普查,它有448,374名居民,是阿尔及利亚第
  • 南拳妈妈南拳妈妈,是台湾一个创作团体,由歌手与制作人周杰伦所支持、协助成立。第一代南拳妈妈由巨炮、盖瑞、弹头、宇豪所组成,专辑作品有《南拳妈妈的夏天》。巨炮与盖瑞的转向 (盖瑞
  • 奥格罗韦奥格罗韦(西班牙语:O Grove),是西班牙加利西亚自治区蓬特韦德拉省的一个市镇。 总面积22平方公里,总人口11.039人(2001年),人口密度502人/平方公里。
  • 罗伯特·舒乐罗伯特·哈罗德·舒乐(Robert H. Schuller, 1926年9月16日-2015年4月2日), 美国归正会牧师,电视福音牧师。生于爱荷华州奥尔顿(英语:Alton, Iowa)。设立水晶大教堂。舒乐牧师讲道信
  • MicralMicral是历史上最早使用Intel微处理器(Intel 8008)的商用个人电脑,是夫朗索瓦·热尔内尔(François Gernelle)及其合作者在1973年发明的。这种计算机是在法国国家农业研究院的推
  • 西北見站西北見站(日语:西北見駅/にしきたみえき  */?)位于北海道北见市绿町,是北海道旅客铁道(JR北海道)石北本线上的站。岸式月台1面1线的地面站。 无人车站,由北见站管理。大多数停靠的
  • 海外赤子《海外赤子》是一部由欧凡、邢吉田、万允吉导演,在1979年上映的中国电影。电影描写中国共产党十一届三中全会之后的华侨政策。电影插曲《我爱你,中国》也随着电影上映而流行。
  • 未知死亡《未知死亡》()是一部2008年上映的印度电影,由A. R. Murugadoss执导,Aamir Khan, Asin Thottumkal和Jiah Khan主演,Pradeep Rawat与Riyaz Khan作为配角。它翻拍自导演Murugados
  • Smarandache–Wellin素数在数学中,Smarandache–Wellin素数(英文:Smarandache–Wellin prime)是将前n个素数照顺序写在一起组成的新数(Smarandache–Wellin数)且本身也是素数的数。前三个Smarandache–Wel