可替代的集合论

✍ dations ◷ 2025-11-15 15:35:49 #可替代的集合论

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

一些可替代的集合论：

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

相关

前苏格拉底哲学家前苏格拉底 · 古代中世纪 · 文艺复兴 17世纪 · 18世纪 · 19世纪 · 20世纪后现代 · 当代前苏格拉底哲学是西方哲学中，在苏格拉底之前的，或者是和苏格拉底
郭柏灵郭柏灵（1936年10月23日－），生于福建龙岩，中国数学家，北京应用物理与计算数学研究所研究员。1958年毕业于复旦大学数学系。2001年当选为中国科学院院士。
八王之乱八王之乱是发生于西晋末年元康元年（291年）至光熙元年（306年）间的政治动乱，是一场由西晋皇族为争夺中央政权而引发的动乱，为中国历史上一场极为严重的皇族内乱，共持续16年。西晋皇族
一级方程式世界车手冠军F1车手世界冠军（英语：Formula One World Drivers' Championship ，WDC）是由国际汽联颁发的用以奖励在一个赛季中最为成功的车手。这一奖励的归属取决于车手在各个分站赛中的表现，
三商巧福三商巧福，是台湾三商企业的牛肉面连锁店。前身是成立于1983年的三商速简餐厅，是台湾第一家台式料理速食餐厅，但因菜色繁多无法达到快速供餐，遂于隔年改为以牛肉面为主力的七七巧
薛聪 (新罗)薛聪（설총，字聪智，号于堂，生卒年不详，大约生活于公元7世纪晚期到八世纪初期，为新罗国僧人元晓大师与武烈王瑶石公主的儿子。为新罗文武王时期的儒家大学者、并在新罗国担任翰林的
朱邦祈朱邦祈（16世纪－17世纪），字二元，浙江嘉兴府桐乡县清风乡人，明朝、南明政治人物。朱邦祈年少丧父亲，事母以孝顺著称。万历四十六年（1618年）中举人，天启五年（1625年）成进士，授湖广荆州推官，平
河智苑河智苑（韩语：하지원，英语：Ha Ji-Won，1979年6月28日－），本名田海林，韩国女演员、歌手，弟弟为已故男演员田汰遂、姐姐为田侑倞。河智苑有“变色龙”之称，以恶女的角色出道，以恐怖电影打响
钇安定氧化锆钇安定氧化锆 (英文:Yttria-stabilized zirconia, YSZ) 是一种陶瓷材料，借由添加氧化钇改变二氧化锆的相变态温度范围，产生室温下稳定的立方晶体及四方晶体。纯氧化锆在室温
约翰尼·考克斯约翰尼·W·考克斯（英语：Johnny W. Cox，1936年11月1日－），美国NBA联盟前职业篮球运动员。他在1959年的NBA选秀中第4轮第28顺位被纽约尼克斯选中。