可替代的集合论

✍ dations ◷ 2025-11-19 06:50:37 #可替代的集合论

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

一些可替代的集合论：

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

相关

精神药理学异常心理学行为遗传学生物心理学心理药物学认知心理学比较心理学跨文化心理学文化心理学差异心理学（英语：Differential psychology）发展心理学演化心理学实验心理学
线性规划在数学中，线性规划（Linear Programming，简称LP）特指目标函数和约束条件皆为线性的最优化问题。线性规划是最优化问题中的一个重要领域。在作业研究中所面临的许多实际问题都可以
E2F11H24, 1O9K, 2AZE· DNA binding · sequence-specific DNA binding transcription factor activity · transcription corepressor activity · protein binding · tr
诺曼·戴维斯诺曼·戴维斯（英语：Ivor Norman Richard Davies 1939年7月8日－）波兰-英国历史学家，作品主要涉及欧洲、波兰和英国历史，是雅盖隆大学联合国教科文组织教授，关注中东欧历史。伦敦大
三道沟河三道沟河，位于中华人民共和国吉林省临江市境内，是鸭绿江右岸支流，发源于临江市桦树镇西小山以北、花盖山东南，北流至柳树河子村以东转西南流，经蚂蚁河乡兴旺村、贾家营村、蚂蚁河
卢天天卢天天（绰号伊芙蕾雅），中华人民共和国安徽合肥人，英雄联盟游戏主播，服装设计师。2013年10月10日，卢天天成为WCG2013年英雄联盟现场解说。2013年，她的团队推出动画《撸时代》。
苏怀苏怀（越南语：Tô Hoài，1920年9月27日－2014年7月6日），原名阮森（越南语：Nguyễn Sen），越南河东省青威县（今河内市青威县）人，作家、记者。除苏怀外，亦有梅庄、泰安、红花等笔名。16岁步入文
达莉娅·比洛季德达莉娅·根纳季耶夫娜·比洛季德（乌克兰语：Дар'я Геннадіївна Білодід，2000年10月10日－）生于基辅，是一名乌克兰女子柔道运动员，主攻48公斤级。达莉娅的父亲
1926年世界大赛< 1925年1927年 >1926年的世界大赛是由代表美联的纽约洋基与代表国联的圣路易红雀对决。最后红雀以4胜3败击败洋基，拿下队史首座冠军。第七战，红雀在7局下满垒危机派出前一
模型驱动应用模型驱动应用（Model-Driven Application）是功能与行为基于或受控于可演变的应用目标事物模型的应用软件。其中的模型称为“应用模型”，所表征的目标就是应用系统所处理的事物（例如对业务应用系统而言，就是业务的对象或事务）。这些应用模型是应用系统的一部分，可以在运行期改变。应用模型可以决定一个模型驱动的应用系统是哪一种应用系统。例如，参照 TOGAF 对“应用”的定义，“模型驱动业务应用”可以这样定义：基于业务（事物）模型运行的业务功能与服务支撑信息技术系统。模型驱动应用的架构思想最初由