可替代的集合论

✍ dations ◷ 2025-11-17 14:04:43 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 加洛林王朝加洛林王朝(法语:les Carolingiens,旧称Carlovingiens,中世纪拉丁语:Karolingi,又译卡洛林王朝)是自公元751年后统治法兰克王国的王朝。在此之前,其王朝成员以“宫相”的身份涉理王
  • 托马斯·爱迪生托马斯·阿尔瓦·爱迪生(英语:Thomas Alva Edison,1847年2月11日-1931年10月18日),科学家、发明家、企业家、工程师,拥有众多重要的发明专利,被传媒授予“门洛帕克的奇才”称号的他,
  • 丁香天蛾丁香天蛾(学名:)也称霜降天蛾,是鳞翅目天蛾科的一种,成虫翅长50~65毫米。头部黑褐色;胸背棕褐色,肩板两侧有黑色纵线,后缘有一对黑斑;腹部背中央有较细的黑色纵带,两侧有较宽的黑色纵带
  • 山中俊房山中俊房 (やまなか としふさ,1559年-?。)山中家为甲贺五十三家之一,山中家领地位于伊势大神宫・柏木郷。甲贺众头领、山中家当主,从属于南近江六角家,号称大和守,俗称山中大和守。
  • 中国矿业大学出版社中国矿业大学出版社是中华人民共和国的一家出版社,成立于1985年,社址位于江苏省徐州市,由中华人民共和国教育部主管、中国矿业大学主办。
  • 独立和劳动党独立和劳动党(法语:Parti de l'Indépendence et du Travail)是塞内加尔的一个社会主义政党。该党曾经奉行共产主义意识形态,目前已放弃。该党的前身是非洲独立党塞内加尔支部。
  • 里见香奈里见香奈(さとみ かな)是日本将棋联盟(关西本部)棋士。女流棋士编号为33。里见香奈为岛根县出云市出身,森鸡二九段门下。毕业于岛根县立大社高等学校。擅长中飞车战法,并以尾盘强
  • 埃特马德普尔埃特马德普尔(Etmadpur),是印度北方邦Agra县的一个城镇。总人口19412(2001年)。该地2001年总人口19412人,其中男性10385人,女性9027人;0—6岁人口3370人,其中男1824人,女1546人;识字率5
  • 托德·本内特托德·本内特(英语:Todd Bennett,1962年7月6日-2013年7月16日),英国男子田径运动员,主攻短跑。他曾代表英国参加1984年和1988年夏季奥林匹克运动会田径比赛,其中1984年奥运会获得一枚银牌。
  • 四氏四氏,指孔、颜、曾、孟四氏。孔丘、颜回、曾参、孟轲、孔伋(孔子之孙)是传统中国尊奉的儒家五大圣贤。历代以来有封祀孔子为至圣、颜子复圣、曾子为宗圣、孟子为亚圣,孔伋为述圣。因而孔、颜、曾、孟以四氏并称。四氏家谱有“通天谱”之说,即四姓家谱辈字天下相同,四氏统一,其实并非如此。曲阜颜氏嫡裔自五十六代孙始跟随孔氏的“之、 氵”字派,后在第五十九代孙使用孔氏全国统一的字派,但到六十一代就终止了。据推测是因为与颜氏与孔子沾亲(孔子母亲颜征在,就是颜氏族人),但是当时无法推断颜回与孔子母亲的辈份关系。所以颜氏自颜回六