可替代的集合论

✍ dations ◷ 2025-11-28 12:43:13 #可替代的集合论

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

一些可替代的集合论：

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

相关

俄属北美俄属北美（俄语：Русская Америка，罗马化：Russkaya Amerika）是俄罗斯帝国在北美洲的殖民地，范围与今日美国的阿拉斯加州大致相同。历史可始于俄国官方在18世纪初叶发
奥比亚霍比奥苏丹国（索马里语：Saldanadda Hobyo，阿拉伯语：سلطنة هوبيو‎），即奥比亚王朝，是19世纪由索马里人在索马里中部、埃塞俄比亚东部成立的国家，建于1870年代为马吉尔廷王
切达干酪切达干酪，原产自英国的西南部的切达（Cheddar）村，是英美最常见的干酪之一。传统的切达干酪呈鼓状，重27.5千克，外层包着一层绷带，以确保干酪的外层有良好的硬质外壳。切达干酪质地平
黄慎黄慎（1687年－约1772年），初名盛，字恭寿、恭懋，号瘿瓢子，东海布衣等，福建宁化人，清代画家。为扬州八怪之一。代表作品有《商山四皓图》、《漱石捧砚图》、《伏生授经图》、《东坡玩砚图
第14届中国电影金鸡奖第13届中国电影金鸡奖是中国电影家协会为表彰1994年度杰出国产片颁发的奖项。颁奖典礼于1994年在中国湖南省长沙市举行。最佳译制片
特许公认会计师财务会计 · 管理会计 · 特许公认会计师（Chartered Certified Accountants），简称ACCA，是得到皇家特许（Royal Charter）头衔的英国四大拥有法定权力会计师资格之一。特许公认会计
艾伦·图灵法艾伦·图灵法（英语：Alan Turing law）是在英国《2017年警务与犯罪法令（英语：Policing and Crime Act 2017）》（Policing and Crime Act 2017）中一项条例的非正式名称，属于赦免法律，赦免
宫继兰宫继兰（16世纪－17世纪），原名宫大壮，字�邻、贞吉，南直隶扬州府泰州人，明朝、南明政治人物。宫继兰是万历四十六年（1618年）的举人，崇祯十年（1637年）成进士，获授工部都水司主事，工部尚书刘遵宪知道他的才干，就委任他督建烽台、视河夏阳，倡议筑城。外任兖州知府，当地是藩封重地，他就任后修筑城垣、严于立法，无人敢于阻挠，清理积欠钱粮二百六十三万；朝廷打算让他任职荐兖东兵备道，但他却因为母亲年老请求归养。弘光年间，宫继兰任职广东罗定兵备道参议，其后在家去世，入祀乡贤祠及兖州府名宦祠。崇祯十六年进士宫伟镠
扬·布扎克-费利克斯扬·布扎克-费利克斯（捷克语：Jan Brzák-Felix，1912年4月6日－1988年7月15日），捷克斯洛伐克男子皮划艇运动员。他曾代表捷克斯洛伐克参加1936年、1948年和1952年夏季奥林匹克运动会皮划艇比赛，获得二枚金牌和一枚银牌。
只鲁花真只鲁花真（?－?），元朝女性人物，蒙古人，忽都之妻。只鲁花真二十六岁时，丈夫忽都病亡，他发誓不再改嫁，孝养公公婆婆。又过了二十五年，公公婆婆去世，她尘衣垢面，在墓旁搭建了一个草庐，守墓终身。至元年间，元朝朝廷旌表他的节烈。