可替代的集合论

✍ dations ◷ 2025-12-01 04:48:54 #可替代的集合论

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

一些可替代的集合论：

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

相关

DSL数字用户线路（Digital Subscriber Line，缩写：DSL）是通过铜线或者本地电话网提供数字连接的一种技术。它的历史要追溯到1988年，贝尔实验室一位工程师设计了一种方法可以让数字信号
向华盛顿进军为工作和自由向华盛顿进军，也称“向华盛顿的伟大进军”，发生于1963年8月28日，是美国历史上最大的一场人权政治集会，目的在于争取非裔美国人的民权和经济权利。集会中，马丁·路德
德兴市德兴市位于中国江西省东北部，是上饶市代管的一个县级市。东接浙江省开化县，东南与玉山县、上饶县毗邻，南和横峰县、弋阳县相接，西接乐平市，北连婺源县。德兴富铜等矿产资源，被称为
千羽鹤 (小说)千羽鹤（日语：千羽鶴／せんばづる），又译千只鹤，日本小说家川端康成作品，全书共分为五个部分，依序是（千羽鹤）、（林中落日）、（志野瓷）、（母亲的口红）与（双重星）。在《千羽鹤》这部小说中川端藉茶
十一罗汉《十一罗汉》（英语：Ocean's Eleven）是一部2001年的电影，由史蒂文·索德伯格（Steven Soderbergh）导演，乔治·克鲁尼、布拉德·皮特、马特·达蒙、埃利奥特·古尔德、卡西·阿弗莱克
北关东北关东（日语：北関東／きたかんとう */?）指的是利根川以北的关东地方，包括茨城县、栃木县、群马县3县。有时也包括埼玉县。对应语是南关东。北关东3县占了日本人口的约6%，约有700
荒卷美咲荒卷美咲（日语：荒巻美咲，2001年1月28日－）是日本偶像艺人，为女子偶像团体HKT48 Team TII成员，福冈县出身，所属经纪公司为Mercury。曾参加韩国选秀节目《PRODUCE 48》。秋吉优花 | 伊
戴夫·阿奇博尔德戴夫·阿奇博尔德（英语：Dave Archibald，1969年4月14日－），加拿大男子冰球运动员，场上位置是前锋。他曾代表加拿大国家队参加1992年冬季奥林匹克运动会冰球比赛，获得一枚银牌。
朱鸣朱鸣（1967年7月－），男，汉族，河南西平人，中华人民共和国政治人物。1990年9月参加工作，1998年2月加入中国共产党，全日制本科学历，工程硕士，高级工程师，现任河南省工业和信息化厅厅长、党组书记。曾任河南省工业和信息化委员会办公室主任，河南省工业和信息化委员会副主任、省工业和信息化厅副厅长。2021年9月，任河南省工业和信息化厅党组书记。10月任厅长。
天籁之战 (第二季)天籁之战（）是中国东方卫视制作的大型棚内音乐挑战节目，由程雷担任主持。节目通过星素PK，由民间歌者（素人）现场选择明星歌手作为竞唱对象，并且为其挑选比赛曲目，随后明星歌手对歌曲做极限改编进行对决，由观众票选决出冠军。第二季节目于2017年10月15日开播，该季明星导师除包括莫文蔚、费玉清、华晨宇、杨坤外，张杰也加入到该季明星导师阵容中，录制地点仍位于苏州现代传媒广场（苏州广播电视总台总部）。2018年1月13日举行总决赛，耿斯汉获得总冠军。以下所列出的均为首播时间。中国大陆方面，本节目由腾讯视频、爱奇艺获