可替代的集合论

✍ dations ◷ 2025-12-04 20:11:09 #可替代的集合论

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

一些可替代的集合论：

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

相关

环球航空2号班机1956年大峡谷空中相撞事件是在美国当地时间1956年6月30日，星期六上午10点30分左右发生的一起空难；两机上包括所有乘客和机组人员在内，合共128人全部罹难。这起空难在当时是史上
钱斯勒斯维尔战役钱斯勒斯维尔战役(Battle of Chancellorsville)，是美国内战期间主要战役之一，发生于1863年4月30日─5月6日。南军将军石墙杰克逊在此战役中被己方军队误伤致死。
台北府城小南门坐标：25°02′13″N 121°30′29″E / 25.036879°N 121.508065°E / 25.036879; 121.508065 台北府城小南门，又称重熙门，取其“盛世兴隆，光辉普照”之意，位于台湾台北市中正区，18
川蔓藻川蔓藻（学名：），又名流苏菜，为眼子菜科川蔓藻属下的一种一年生或多年生植物，遍布全球各地沿海的咸水水域。
塔甘斯基保卫指挥点塔甘斯基保卫指挥点（俄语：Музе́й холо́дной войны́，也被称为An-02（1947年）、FS-293（1951年）、FS-572（1953年）、GO-42（1980年）以及RFQ塔干，现在则称为莫斯科42号地
方豪 (1910年)方豪（1910年9月15日－1980年12月20日），字傑人，后改杰人，笔名芳庐，绝尘，圣老。浙江杭县人，原籍浙江诸暨。中国现代天主教神父、历史学家。出生于基督教圣公会家庭，1920年1月9日，全家改信
马歇尔商学院马歇尔商学院（又称南加大马歇尔商学院，USC Marshall School of Business）是南加州大学的商学院，它是南加大17个专业学校里面最大的。现任院长为詹姆斯·埃利斯（James G. Ellis）。
意大利面桥意大利面桥（英语：Spaghetti bridge）是指由生意大利面（或者其他坚硬、干燥且直的面条）所搭成的桥。搭建这种桥的目的通常是教学及比赛用途，通常会规定要使用某一数量的面条搭成特定
麦奀广州云吞面大王麦焕池之子，原名麦镜鸿，因瘦削身材，故名麦奀。1968年，麦奀在中环机利文街大牌档开设麦奀记，并由六弟麦路负责打面。1983年，麦奀因年长退休，并把大牌档牌照交还政府，取得3万6千港元赔偿。1989年，麦奀在威灵顿街开设麦奀云吞面世家。并复出亲自打理，至1996年，麦奀才正式退休，并由其次子麦志明继承。
斯里兰卡广播公司SEAC电台斯里兰卡广播公司（SLBC）（僧伽罗语：ශ්‍රී ලංකා ගුවන් විදුලි සංස්ථාච，泰米尔语：இலங்கை ஒலிபரப்புக் கூட்டுத்தாபனம்）是斯里兰卡的一个电台，原名锡兰电台。1967年改用现名，是斯里兰卡的官方广播电台。斯里兰卡广播公司的前身、南亚地区最古老的广播电台——锡兰电台于1925年在科伦坡成立。在二战期间，同盟国在科伦坡接管了锡兰电台的无线电业务，SEAC电台自此诞生了。