可替代的集合论

✍ dations ◷ 2025-07-12 16:53:17 #可替代的集合论

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

一些可替代的集合论：

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

相关

克拉通克拉通（来自希腊语kratos，意为“强度”），或称稳定地块、大陆核心、古陆、古陆核、刚块、安定地块，是指大陆地壳上的古老而稳定的部分，于最近至少5亿年内的大陆和超大陆的会聚和分
span class=nowrapPr(NOsub3/sub)sub3/sub/span硝酸镨是一种无机化合物，化学式为Pr(NO3)3。硝酸镨可以将三氧化二镨、氢氧化镨或碳酸镨溶于硝酸得到：所得溶液经过小心蒸发可以得到水合硝酸镨，其中六水合物最常见。将六水合物
安娜·彼得罗芙娜安娜·彼得罗芙娜·罗曼诺娃（俄语 :Анна Петровна; 1708年1月27日－1728年3月4日）是俄罗斯帝国彼得大帝和女皇叶卡捷琳娜一世的大女儿。她的妹妹伊丽莎白·彼得罗芙
Thor (视频编解)Thor是思科系统正在开发的开放免专利视频编解码器。Thor的规格可在各种互联网草案中找到。2015年7月22日，Thor被提交给IETF作为其NETVC视频标准的候选技术。HEVC也使用Thor的
iOS版本历史iOS版本历史列举了苹果公司为移动设备所开发的iOS操作系统，支持的设备包括iPhone、iPod touch、iPad的版本历史。iOS可以通过iTunes对设备进行升级，iOS 5.0及以上版本亦可以通
你以为你是谁《你以为你是谁？》（英语：）是英国BBC获奖的记录片系列节目，开播于2004年，制作公司名叫wall to wall。节目把名人们带上一个自我发现的旅程，当他们发掘自己家谱的时候会发现令人吃惊
槽子糕槽子糕，又称“鸡蛋糕”、“（老式）蛋糕”，是一种中式糕点，主要流行于中国北方地区，尤其是河北、山东、天津、北京和东北地区。槽子糕古称“蛋糕”、“槽糕”，《清稗类钞》中记载：“北
朱慈烺朱慈烺（1629年2月26日－1644年6月），中国明朝明思宗朱由检长子、母庄烈愍皇后周氏。崇祯二年（1629年）出生，崇祯三年（1630年）封为皇太子。崇祯十七年（1644年），李自成攻入北京，李邦华、史可法
康特拉科斯塔县康特拉科斯塔县（英语：Contra Costa County），又称康县，是美国加州的一县，位于旧金山湾区的东部。根据2000年的人口普查，康特拉科斯塔县共有94万8816人居住在此，其中白人占65.5%、亚裔美国人占10.96%、非裔美国人占9.36%。马丁尼兹（Martinez）为县府所在地。
Comodo Firewall ProComodo Firewall Pro是美国科摩多集团开发的一款免费的防火墙软件。