可替代的集合论

✍ dations ◷ 2025-11-28 00:27:37 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 长发姑娘《长发姑娘》(德语:Rapunzel),又译《莴苣姑娘》、《长发公主》,是格林兄弟搜集的德国童话,收录于1812年所出版的《儿童与家庭童话集》。是广为人知的童话故事,这个童话的场景也被许
  • 坂井贵行坂井贵行(本名:贝出启,1967年3月4日-),日本男艺人、播报员、配音员。出身于大阪府茨木市。血型A型。茨木市立大池小学(日语:茨木市立大池小学校)→茨木市立东中学(日语:茨木市立東中学
  • 周以栗周以栗可以指:
  • Truevision3DTrueVision3D是一个商业的3D游戏引擎,由Sylvain Dupont 在 1999年开发。TrueVision3D 引擎完全由C++编写,以Microsoft DirectX API为底层,当前版本支持DirectX 9.该引擎可以被
  • 陈宝璐陈宝璐坐姿像陈宝璐(1858年-1913年),字敬果,号叔毅,又号韧庵,福建闽县(今福州市)人。清末官员、学者。陈宝璐为陈宝琛二弟。光绪十六年(1891年)中进士。同年五月,改翰林院庶吉士。光绪十
  • 异教徒 (1973年电影)《异教徒》(英文名:The Wicker Man)是一部由罗宾哈迪(Robin Hardy)所导演、于1973年上映的悬疑恐怖电影。该片由爱德华·伍德华德(Edward Woodward)、布里特·艾克拉诺(Britt Eklan
  • 毒魔复仇3:毒魔最后的诱惑《毒魔复仇3:毒魔最后的诱惑》(英语:)是一部1989年美国超级英雄喜剧血腥虐杀电影(英语:Splatter film),由迈克尔·赫兹(英语:Michael Herz (producer))和劳埃德·考夫曼共同执导、监制
  • 维多利亚女王维多利亚女王(英语:Queen Victoria;1819年5月24日-1901年1月22日),全名为亚历山德丽娜·维多利亚(Alexandrina Victoria),1837年6月20日即位为联合王国女王,1876年5月1日即位为印度女皇。维多利亚是肯特与斯特拉森公爵爱德华亲王之女。爱德华与其父乔治三世皆于1820年去世,维多利亚在母亲萨克森-科堡-萨尔弗雷德公主维多利亚的严格监督下成长。1837年,因为父亲三个兄长生前都未留下婚生子,年仅18岁的维多利亚继承王位。当时英国虽已确立君主立宪制,维多利亚
  • 无线电视外购美国电影列表本条目列出曾经于无线电视播放,惟非由其公司所制作的外购美国电影。电影在大中华区的其他译名可参考模板:CGroup/Movie。注:电影名称前的为该电影于无线电视的首播日期及频道,电影名称后的为该电影于其所属地区的放映年份(如有)。
  • 六灯奖健康专栏:我们的身体《六灯奖健康专栏:我们的身体》,简称《我们的身体》,是中国电视公司(中视)的健康教育节目,中视文化公司制作,中视才艺竞赛节目《六灯奖》末代女主持人崔丽心主持,1987年7月4日开播,总计连续播映26集。中视文化公司向英国“金冠影视公司”购得医学影片《The Living Body》,经过整理、翻译、配音、剪辑等过程,作为《我们的身体》的主结构,并邀请国立台湾大学著名教授与医师作精简的解说。《The Living Body》制作群为南非开心手术专家克里斯蒂安·巴纳德所领导,集合著名的医学及生物学专家参与拍摄