可替代的集合论

✍ dations ◷ 2025-11-27 18:02:38 #可替代的集合论

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

一些可替代的集合论：

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

相关

食用色素食用色素（英语：colors, pigments），是食品添加剂的一种，又称着色剂，用于改善物品外观的可食用染料。常用于食物加工品、饮料、药物、口红与化妆品的染色上。由于各地的定义不同，有些
行政院原子能委员会原子能委员会（简称为原能会），为中华民国核能业务主管机关，成立于1955年，设有核能研究所、放射性物料管理局、辐射侦测中心，目前主要负责核能发电厂、核子设施及辐射作业场所的安全
箭石箭石类动物（学名：Belemnoidea），旧作箭石下纲，是一个已灭绝头足纲生物的分支，生活在泥盆纪至白垩纪之间。箭石在许多方面都与现代的鱿鱼相当接近，而且与现代的乌贼关系密切。箭石也
美国独立战争十三殖民地（1776年之前）美利坚（1776年之后）法兰西西班牙佛蒙特支援：大不列颠大不列颠属美洲汉诺威盟友:德意志雇佣兵（黑森佣兵）: 黑森-卡塞尔黑森-哈瑙（英语
阿里不哥阿里不哥（蒙古语：.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus
高翥高翥（翥：音“助”zhù，1170年－1241年），初名公弼，字九万，号菊磵，又号菊卿，庵号信天巢、陋庵信天，宋代浙江余姚石山樟树（现慈溪）人。南宋晚期著名诗人、画家，兼善乐府，乃江湖诗派的代表人物，人
斯霍拉普尔斯霍拉普尔（Shorapur），是印度卡纳塔克邦Gulbarga县的一个城镇。总人口43591（2001年）。该地2001年总人口43591人，其中男性22132人，女性21459人；0—6岁人口6950人，其中男3539人，女3411人
结婚启事结婚启事（英语：banns of marriage，英文简称“banns”或“bans”），是一种源于基督宗教，由教区教堂发出的公开告示，目的在于向外公布该所教堂在未来举行的婚礼。结婚启事较常见于英国
贝洛奥里藏特贝洛奥里藏特（葡萄牙语：Belo Horizonte），也称作美景市、比路贺利桑特，位于巴西东南部，是巴西第四大城市，人口约210万，面积334平方公里，米纳斯吉拉斯州政府所在地，是该州的政治、经济、文化中心。该市的冶金、宝石加工、汽车制造、纺织、食品等工业较为发达。原为库拉尔德雷农庄。巴西第一个规划建设的城市，1893年按20万人口的规模开始建设，1897年落成，原名西达德德米纳斯（“矿山城”的意思），取代东南山区的欧鲁普雷图成为州首府，并成为周围地区农牧产品集散地和矿业中心。二战后，随着铁路和公路的兴
偏侧性偏侧性（英文：Laterality）是指大多数人对身体某一侧的偏好高于另一侧。例如左/右撇子或左/右惯用脚，它也可以指大脑左半球或右半球的主要用途。它也可能适用于动物或植物。大多数测试是针对人类进行的，特别是用于确定对语言的影响。