可替代的集合论

✍ dations ◷ 2025-11-23 01:19:30 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • span class=chemf style=white-space:nowrap;Csub19/sub十九烷是一种有机化合物,一种化学式为C19H40的烷烃,室温下为固体。
  • 旧天主教旧天主教会(英语译名:Old Catholic Church),也称作老天主教会、古天主教会、复古天主教会、旧公教会、老公会等,是一支源流自天主教的基督教独立宗派,1870年代从天主教会独立而出,
  • 酒糟鼻酒糟鼻(Rosacea,又称玫瑰痤疮)是一种以脸部红斑 和丘疹(有时)为特点的慢性皮肤病。酒糟鼻在所有年龄层都可能发病并且分为四种类型,其中三种患及皮肤,而第四种患及眼睛。疾病若得不
  • 中华民国民法《民法》为规范人民私法关系的中华民国民法典,目前于中华民国自由地区施行。民法起草委员会于民国17年(1928年)成立;成员均为法学者,包括傅秉常、焦易堂、史尚宽、林彬、郑毓秀(后
  • 依斯迈阿都拉曼敦依斯迈·阿都·拉曼(马来语:Tun Dr Ismail Abdul Rahman,1915年11月4日-1973年8月2日),马来西亚第二任副首相,曾任巫统副主席、马来亚联合邦驻美国大使,并常驻联合国。位于吉隆坡
  • Utada Hikaru Unplugged《Utada Hikaru Unplugged》是日本歌手宇多田光在2001年11月28日所发行的live DVD。此次收录的是2001年8月10日宇多田光位于MTV JAPAN的演唱画面
  • 安藤利吉安藤利吉(日语:安藤 利吉/あんどう りきち, 1884年4月3日-1946年4月19日)为宫城县出身之日本陆军军人。最终阶级陆军大将。旧制宫城县第二中学校1回、陆军士官学校16期。陆军大学
  • 清泉温泉坐标:24°34′29″N 121°06′19″E / 24.5746520°N 121.1052059°E / 24.5746520; 121.1052059清泉温泉位于台湾新竹县五峰乡桃山村,邻近台湾原住民泰雅族及赛夏族部落、属
  • 罗洛 (诺曼底)罗洛(拉丁语:Rollo或Gaange Rolf;诺曼语:Rou;古诺尔斯语: Hrólfr;法语: Rollon,约生存于公元846年– 932年)是第一位统治诺曼底(法国地区)的维京人,人们时常称呼他为“诺曼底第一公爵”
  • 龚未斋龚未斋(1738年-1811年),字萼,号雪鸿,清朝文学家,其作品仅得《雪鸿轩尺牍》流传至今。龚未斋出身于幕僚家庭,虽然屡次试科举,但始终无法及第,因此在各地担任幕僚达五十多年,当中以绍兴师