可替代的集合论

✍ dations ◷ 2025-11-23 08:56:08 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 互溶体系互溶体系是多种物质相互溶解的体系。如果两种纯液体组分能按任意的比例相互混溶,那么就会形成理想的液态混合物。通常,两种结构相似或极性相似的化合物可以按任意比例混合,并形
  • 鼠蛛参见正文鼠蛛(英语:Mouse spiders,学名:)是蜘蛛目的一个属,属于猛蛛亚目线足蛛科()。目前已知有11种品种,大部分都生长于澳洲,只有一种名叫 的蜘蛛,被发现于智利。以往这种蜘蛛一直被
  • 里发阿·拉斐阿·塔哈塔维里发阿·拉斐阿·塔哈塔维(阿拉伯语:رفاعة رافع الطهطاوي‎ ‎,英语:Rifa'a Badawi Rafi al-Tahtawi,1801年10月15日-1873年5月27日)是埃及近代启蒙思想家。1801
  • 六才子书六才子书是由明末清初金圣叹(1608年—1661年)所评定。
  • CodaCoda是Constant Data Availability的缩写,是一套由卡内基美隆大学于1987年开始发展,由Mahadev Satyanarayanan主导研究的分布式文件系统。本系统的前身由安德鲁文件系统(AFS-2)
  • 历代兵制《历代兵制》,南宋陈傅良著,记述中国自西周至北宋的兵制。共八卷。《历代兵制》原名《周汉以来兵制》,记述中国自西周、秦汉,乃至北宋初期的兵制得失,尤详于宋朝,全书约三万余言。
  • J Soul Brothers二代目KENCHI (橘ケンチ)KEIJI (黑木启司)TETSUYANESMITHSHOKICHINAOTONAOKI (小林直己)J Soul Brothers是日本的男子歌舞团体,为放浪一族的组成团体之一,所属经纪公司为LDH,所属唱片公司为rhythm zone。该团体曾组成过3次:短暂性复活2010年2011年2012年2013年2014年2015年2016年2017年2019年前成员第三代90 刺激!VISUAL SHOCK VOL.2(X) | 91 FILM RISKY(B'z) | 92
  • 弗雷泽公园 (加利福尼亚州)弗雷泽公园(英语:Frazier Park)是位于美国加利福尼亚州克恩县的一个人口普查指定地区。弗雷泽公园的座标为34°49′22″N 119°56′41″W / 34.82278°N 119.94472°W / 34.82278; -119.94472,而该地最高点为海拔高度1414米(即4639英尺)。根据2010年美国人口普查的数据,弗雷泽公园的面积为13.120平方千米,当中陆地面积为13.115平方千米,而水域面积为0.005平方千米。当地共有人口2691人,而人口密度为每平方千米205人
  • 蔡英挺蔡英挺(1954年4月-),籍贯福建省石狮市,生于晋江县青阳镇(今晋江市)。中国人民解放军上将。中国共产党第十七届中央委员会候补委员、第十八届中央委员会委员。曾任中国人民解放军副总参谋长、南京军区司令员、中国人民解放军军事科学院院长。蔡英挺于1970年12月入伍,曾任班长、排长、军区参谋、守备师副参谋长、南京军区司令部作战部副部长。1996年起,先后担任中央军委副主席张万年秘书、中央军委办公厅副主任等职。2002年,任南京军区副参谋长。2004年,任陆军第三十一集团军军长。2007年,任南京军区参谋长。2
  • 后经验品后经验品(Post-experience good),也称信用品(Credence good),在经济学中,是指一类产品或服务的特征很难被消费者观察判断,即使在开始消费后的短期内。比如维生素片、教育等。根据飞利浦·尼尔森(Phillip Jacob Nelson)的分类学,其与搜寻品(Search good)、经验品(Experience good)相区别,此类区分可以从理论上根据商品的特征,反映出信息不对称和市场的失灵,也可以部分解释自然垄断的形成。