可替代的集合论

✍ dations ◷ 2025-12-03 13:36:47 #可替代的集合论

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

一些可替代的集合论：

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

相关

扁虫动物总门扁虫动物原本是扁形动物门的同义词，此处是几个门的统称，属于两侧对称动物，也被归类为扁虫动物总门（学名：Platyzoa），但此分类尚未成为共识。本总门包括以下门：扁形动物和腹毛动物没有
常见常（巴利语：nicca，梵语：nitya），源自古印度的哲学术语，字面意义为不改变、不变动。其反义字，称为无常，即是改变、变动。在佛教哲学中，常与无常是重要的讨论重点之一。事物本身拥有不变化
石原氏色盲检测图石原氏色盲检测图是一种检测色觉障碍的方法，得名于它的发明者，日本东京大学教授石原忍。石原氏最早的检测图发表于1917年。这种测试图包括一系列彩色圆盘，称为“石原盘”，每个圆
平实世平实世(?-?)，又名实世王。日本平安时代初期到中期贵族，仲野亲王之子赠太政大臣，官位从四位下，摄津守。
乔治城 (华盛顿特区)乔治城（英语：Georgetown）是华盛顿哥伦比亚特区的一个社区。该社区有一所自己的大学乔治城大学，包括超过100个餐馆酒吧，区中的M-大街是华盛顿最有名的大街之一。
先进规划排程系统先进规划排程系统（APS，Advanced Planning & Scheduling System）是一种以系统模拟或数理规划等方式填写甘特图。一般业界的ERP能整合企业的资料，但欠缺排程的功能，APS则拥有“决策
向姓向姓是中文的姓氏之一，在百家姓中排第129位，按人口计算排名第99位。向姓为土家族大姓，由相姓演变而来，因“向”与“相”原是同音异译，故土家人讹“相”为“向”。复旦大学谭其骧
恽彦琦恽彦琦（1828年－1893年），字莘农、亦韩，江苏阳湖（寄籍顺天大兴县）人，清朝政治人物、进士出身。恽光宸之子。咸丰九年，登进士，授礼部额外主事，后升任礼部郎中。光绪三年，任湖北督粮道。光绪
寻水兽寻水兽（英文：Afanc），又称为阿凡克，是欧洲神话中的一只大湖怪。寻水兽外型很像海狸，它的脑袋像蛇、身体像豹子、屁股彷若狮子、脚蹄则像鹿蹄。总是奔跑着寻找水源，好似很久没喝过水一般饥渴难耐。寻水兽是一个生活在康威河亚·阿凡克池沼的怪兽，体形非常强壮巨大，外型很像海狸，而且奔跑速度相当快，喜欢生活在水里。它能制造水灾或散发瘟疫，所以民众便采取措施消灭寻水兽，但人类的普通武器却伤不了它分毫。寻水兽是古老魔法的产物，传说中寻水兽是由强力魔法从泥土中生出来的怪物，只要被寻水兽所伤的人类都将必死无疑。
ISO/IEC 8859-5ISO 8859-5，正式编号为ISO/IEC 8859-5:1999或Cyrillic，是国际标准化组织内ISO/IEC 8859的其中一个8位字符集。此字集收录西里尔字母，供俄语、白俄罗斯语、保加利亚语、马其顿语、塞尔维亚语、乌克兰语使用。曾推出过 ISO 8859-5:1988 版。但是，ISO/IEC 8859-5在实际使用上并不普遍，在1990年代前，人们通常用KOI8-R（俄语）、KOI8-U（乌克兰语）或微软Windows-1251编码。最近，以Unicode储存西里尔字母也逐渐流行起来。在