可替代的集合论

✍ dations ◷ 2025-07-06 05:32:22 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 克洛德·洛兰克洛德·洛兰 (法语:Claude Lorrain,约1600年-1682年11月21日),也译作劳兰、劳伦或罗兰恩,原名克洛德·热莱(法语:Claude Gellée),是法国巴洛克时期的风景画家,但主要活动是在意大利。
  • 足球独联体杯独联体杯(俄语:Кубок чемпионов Содружества, Кубок Содружества, Кубок чемпионов содружества стр
  • 荷兰皇家空军荷兰皇家空军(荷兰语:Koninklijke Luchtmacht,缩写 KLu;英语:Royal Netherlands Air Force,缩写 RNLAF),是荷兰军队的航空军种。它的前身是荷兰陆军航空部队,成立于1913年7月1日,当时
  • 爱思强爱思强,Aixtron AG,以德国为基地的国际上市公司,主要制造半导体工业设备,在有机金属化学气相沉积法、发光二极管等生产设备领域富有专长。
  • 敦煌清真寺敦煌清真寺是一个位于中华人民共和国甘肃省敦煌市沙州镇沙梁巷的清真寺。这座清真寺始建于明朝,于1917年重建。1933年,敦煌清真寺在敦煌城区东南大沙梁再次重建。2017年,敦煌清
  • 小代为重小代为重(1863年10月11日-1951年6月1日),日本西洋画家,旧姓中野,肥前国佐贺郡(今佐贺县佐贺市)人。小代为重早年向有“日本近代西洋画先觉者”的百武兼行(日语:百武兼行)学画,后来曾担任
  • 信长之枪动画标志《信长之枪》(日语:ノブナガン),是日本漫画家久正人(日语:久正人)的日本漫画作品,曾于《Comic Earth Star》连载。2013年5月宣布改编为电视动画,2014年1月5日于东京都会电视
  • 建昌颌翼龙属建昌颌翼龙属(属名:)是翼龙目喙嘴翼龙科的一属,生存于侏罗纪晚期的中国。正模标本(编号IVPP V16866)是一个骨骼化石,发现于辽宁省西部建昌县的玲珑塔。该地属于髫髻山组。在2010年,
  • Heart 梦·出发《Heart 梦·出发》是中国内地男子偶像组合TFBOYS所发行的第一张录音室迷你专辑,该专辑制作人由曾担任李孝利、高耀太制作人的音乐人负责。2013年,鉴于歌曲《洋葱》取得的轰动
  • 小江 (金沙江)小江,位于中华人民共和国云南省北部,是长江上游金沙江右岸支流,源头为寻甸回族彝族自治县的清水海,干流从清水海北岸寻甸县甸沙乡海尾村出流(此段也称摩洛河),蜿蜒向东北流,经摩罗河