可替代的集合论

✍ dations ◷ 2025-12-03 01:27:57 #可替代的集合论

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

一些可替代的集合论：

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

相关

扁枝衣属详见内文扁枝衣属（学名：）是一种地衣，也译作木状苔属，属于子囊菌门茶渍纲茶渍目梅衣科。扁枝衣属物种通常顶部为绿色，底部为白色，通常呈对称的分叉状生长，子囊多呈棍棒状，内有八枚子囊
甘肃巡抚甘肃巡抚，又称甘肃都御史，全称巡抚甘肃等处赞理军务，为明朝中后期、清朝前期一个巡抚职位。
李奥拿氏倭管蛇李奥拿氏倭管蛇是蛇亚目倭管蛇科下的一个品种，主要分布于马来西亚。目前尚未有任何亚种。李奥拿氏倭管蛇的保护现状被世界自然保护联盟列为数据缺乏（DD）的受威胁物种。这说明了
天才GO GO GO 本段时间均以二十四小时制东八区时间（UTC+8）为准。《天才GO GO GO》是中华电视公司（华视）的大型益智节目，2003年5月23日开播，2004年3月19日停播，制作单位是东风文化传播，制作人是
最后的猎人最后的猎人（Le Dernier Trappeur）是一部由演员诺曼温德（Norman Winther）、梅卢（May Loo）所主演，尼可拉斯·凡尼尔（Nicolas Vanier）导演所拍摄的纪录电影，于2004年上映。故事背景位于加
北野町山本通北野町山本通（日语：北野町山本通／きたのちょうやまもとどおり */?）是位于日本兵库县神户市中央区的传统建物群保存地区。这里集中了大量修建于明治和大正时期的西式建筑物，即
勃兰登堡-施韦特的弗蕾德里克勃兰登堡-施韦特的弗蕾德里克（德语：，1736年12月18日－1798年3月9日），符腾堡公爵夫人（英语：List of consorts of Württemberg），勃兰登堡-施韦特藩侯腓特烈·威廉的女儿、腓特烈大帝的外
大陆银行仓库大陆银行仓库始建于1925年，坐落于当时天津法租界的柏公使河坝（今和平区张自忠路223号），原为创建于1919年4月的大陆银行的仓库，目前是特殊保护等级历史风貌建筑。原大陆银行仓库成
王雁王雁（1973年2月－），山东烟台人，汉族，无党派人士。中华人民共和国政治人物、第十三届全国人民代表大会山东地区代表。2018年2月24日，当选为第十三届全国人大代表。
民族与文化旗帜列表这是一个民族与文化旗帜的列表。