可替代的集合论

✍ dations ◷ 2025-11-27 10:10:40 #可替代的集合论

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

一些可替代的集合论：

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

相关

齐格蒙特·诺斯科夫斯基齐格蒙特·诺斯科夫斯基（波兰语：Zygmunt Noskowski，1846年5月2日－1909年1月23日），波兰作曲家，音乐教育家。早年在华沙音乐学院学习，后来赴柏林深造，回国后在华沙音乐学院任教，培养了席
凯斯巴赫河 (谢夫巴赫河支流)坐标：51°01′39″N 7°09′19″E / 51.027635°N 7.155253°E / 51.027635; 7.155253凯斯巴赫河（德语：Käsbach），是德国的河流，位于该国西部，流经北莱茵-威斯特法伦州，属于谢夫巴赫
埃鲁迈帕蒂埃鲁迈帕蒂（Erumaipatti），是印度泰米尔纳德邦Namakkal县的一个城镇。总人口9303（2001年）。该地2001年总人口9303人，其中男性4706人，女性4597人；0—6岁人口935人，其中男490人，女445人；识
中华印刷展示馆中华印刷展示馆位于上海市青浦区汇金路889号，是一座展示印刷技术的专业展馆。中华印刷展示馆是由上海印刷（集团）有限公司下属上海中华印刷有限公司连同商务印书馆下属上海印
北平 (五代)北平（909年—929年），五代十国初期的半独立政权。朱温建立后梁，909年三月，下诏义武节度使王处直进封为北平王，福建节度使王审知封闽王，广州节度使刘隐封南平王。次年，后梁进攻成德节
梅特勒-托利多梅特勒-托利多（Mettler Toledo），是世界上最大的衡器和实验室仪器制造商、销售商。总部在瑞士苏黎世，在美国证券交易所上市。1901年，亨利·托巴德创新推出了全球第一台具备全自动
荷兰鸟岛荷兰鸟岛是纳米比亚的岛屿，位于该国西部的大西洋海域，属于企鹅群岛的一部分，长0.11公里、宽0.09公里，面积0.01平方公里，最高点海拔高度12米，岛上无人居住。
极度恐慌3《极度恐慌3》是一款由Day 1 Studios开发，华纳兄弟娱乐公司发行的惊吓类第一人称射击游戏。是《极度恐慌2：起源计划》的续作，也是《极度恐慌》系列第三套作品。本作于2010年4月
野村六彦野村六彦（1940年2月10日－），日本足球运动员。曾经夺得1965年第一届日本足球联赛的最佳射手（15球）。
普照 (僧侣)普照（生卒年不详），日本奈良时代僧侣。其母为白猪与吕志的女儿。普照最初在奈良的兴福寺学习，733年（天平五年），接受出家者之戒，受到传戒师义真的邀请，与荣叡一起前往唐朝。他在洛阳大福先寺接受具足戒，邀请道璿赴日本弘法。在唐朝滞留的十年间，他邀请扬州大明寺的鉴真东渡日本弘法。754年（天平胜宝六年），普照跟随鉴真的船回到了日本。回国后，普照住在东大寺。759年（天平宝字三年），上奏称为避免旅途之人饥饿，请求在京外的街道栽种果树。此后，担任奈良西大寺的大镇之职。没年不明。