可替代的集合论

✍ dations ◷ 2025-11-20 15:50:30 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 外交邮袋外交邮袋是一种由政府在国外用来传递文件的邮袋,因为有机密性质,受到国际公约的法律所保护。外交邮袋并没有固定的形式,一旦盖上外交邮袋的印章后,该邮袋便受到保护,任何外人不能
  • 赖垓赖垓(1593年-1661年),字元式,号宇肩,福建德化琼溪人,明朝政治人物,同进士出身。崇祯元年(1628年)登戊辰科进士。初任浙江平湖县知事,后晋升为翰林院检讨,后告假归乡。清朝建立后,不再出仕
  • 蓝宝石大歌厅蓝宝石大歌厅是台湾秀场文化的重要符号之一,位于高雄市新兴区八德二路与同爱街上,由装潢者李再富(台北仔)装潢,为大高雄地区扮演1970年代到1980年代娱乐文化的山头之一。蓝宝石成
  • 南永宁站南永宁站是一个侯西线上的铁路车站,位于陕西省渭南市合阳县防虏寨乡,建于1971年,目前为四等站,邮政编码为715312。目前客运:办理旅客乘降;行李、包裹托运;货运:办理整车货物发到。
  • 凤仙花科凤仙花科(学名:Balsaminaceae)是真双子叶植物杜鹃花目的一科,共有两属超过1000种,但除了水角((L.)Wight et Arn.)一种属于水角属,其余种类都属于凤仙花属,因此凤仙花属可能是最大的属。凤仙花科分布在除澳洲和北美西海岸以外的世界各地温带和热带地区,有许多种是观赏花卉,如著名的凤仙花(又名指甲花)。
  • 洗门风洗门风,古中国的道德制裁手段,用作惩罚破坏婚姻或名誉的人,流行于中国南方。随着闽南人移民台湾,亦带入该习俗。经过一番理论,一方自认理屈后,公开到对方家里清洗门楣(门风),称为洗门风,象征还给对方一家清白。尔后则改成各种公开赔罪的仪式,如当众致赠黄金、办流水席、请全村的人饮茶、饮酒、抽烟、吃槟榔,以当事人名义到宫庙中办法会作醮、打斋、作功德、演戏酬神,甚至在公共场合下跪等,来取得对方的原谅。洗门风通常牵涉事情与妇女贞操相关,据说最早是夫家方在发现新娶之妇非处女后要求女方娘家所作的赔偿方式,后来衍伸至对于通奸
  • 陈实 (音乐教育家)陈实(1901年-1973年),族名pangTer或パントル,日式姓名川村实,是一位出身台东卑南巴那巴那样族知本社的音乐教育家。陈实的母亲名叫Rivungai(汉名陈丽珠),父亲名叫Tumurusai;他的家族属于世代居住于知本社的巴那巴那样族。1915年(大正四年),他毕业于四年制知本公学校。1918年(大正七年),他进入台湾总督府国语学校公学师范部乙科就读;当时,他在校内正式文件登记之姓名为族语名片假名拼写パントル。在就读期间,他开始接触现代音乐,并习得以简谱撰写歌曲以及使用钢琴、小提琴及簧风琴等乐器
  • 斯图雷·埃里克松斯图雷·埃里克松(瑞典语:Sture Ericsson,1898年1月15日-1945年9月6日),瑞典男子体操运动员。他曾获得1920年夏季奥运会体操比赛男子团体瑞典式金牌。他于1945年在赫尔辛堡去世。
  • 海尼尔海尼尔,(Honir、Hœnir)。他是奥丁(Odin)的兄弟,虽然外貌高大威仪,但个性鲁钝。在和华纳神族(Vanir)的停战协议中,他和密米尔一起被当作和平的人质送到华纳海姆(Vanaheim)去。在北欧神话中,关于他的故事很少,大多在故事中充当配角。在《诗体埃达》的〈女巫的预言〉(Völuspá、)中指出造人的是奥丁、洛德、海尼尔;但在《新埃达》中则被改成是奥丁、威利、菲。所以有人推测,威利和海尼尔应该是同一个人。另外,在诸神的黄昏之后,在华纳海姆当人质的海尼尔成为幸存的神并回到阿斯嘉特。
  • 印度最高电影票房收入列表下列为电影作品在印度戏院上映的票房收入相关列表。票房收入以印度卢比为单位。资料来源不是来自官方,此乃根据信誉良好消息来源的报导。2000年后,票房收入一直在稳定增长,主要原因是票价上涨以及戏院和电影拷贝数量的增加。该列表的大部分是印度电影,特别是来自宝莱坞的印地语电影业,其次是泰米尔语(英语:Tamil cinema)和泰卢固语。关于印度电影在全球的电影票房的列表,请参见全球最高印度电影票房。以底色      标示者表示目前尚在上映中。在印度票房最高的电影是2017年的《巴霍巴利王:磅礴终章》,票房为1,