可替代的集合论

✍ dations ◷ 2025-12-07 18:37:36 #可替代的集合论

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

一些可替代的集合论：

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

相关

意识异常心理学行为遗传学生物心理学心理药物学认知心理学比较心理学跨文化心理学文化心理学差异心理学（英语：Differential psychology）发展心理学演化心理学实验心理学
三观三观可以指：
萤萤科（学名：Lampyridae）是鞘翅目（甲虫）里面的一个科，该科在全世界有2000多种。俗称萤火虫，又称火金姑（闽南语）、火焰虫（客语）、游火虫（江苏）、亮火虫（四川）、火火虫（云南）；古称耀夜、景天、熠
粘土游戏引擎粘土游戏引擎（KlayGE）是一个开放源代码的，跨平台的，基于插件结构的游戏引擎。该引擎从2003年开始研发，设计目的是用最先进的技术武装引擎，使游戏的开发、测试、移植得到简化。Klay
元祖西游记超级猴子大冒险《元祖西游记超级猴子大冒险》（日语：元祖西遊記スーパーモンキー大冒険）是一款由VAP公司制作的动作类游戏。本游戏于1986年11月22日在日本地区FC游戏机发行。游戏根据《西游
格热戈日·沃伊特科维亚克格热戈日·沃伊特科维亚克（Grzegorz Wojtkowiak，1984年1月26日－）是波兰的一位足球运动员。在场上司职右后卫。他现在效力于德国足球乙级联赛球队1860慕尼黑足球俱乐部。他也代表
迈巴赫河坐标：51°53′34.58″N 8°11′13.99″E / 51.8929389°N 8.1872194°E / 51.8929389; 8.1872194迈巴赫河（德语：Maibach），是德国的河流，位于该国西部，处于北莱茵-威斯特法伦州，属于
杰西·阿尼尔休·杰西·阿尼尔（英语：Hugh Jesse Arnelle，1933年12月30日－2020年10月21日），美国NBA联盟职业篮球运动员。他在1955年的NBA选秀中第2轮第13顺位被韦恩堡活塞选中。
扇尾渡鸦扇尾渡鸦（学名：），是鸦科鸦属的一种，分布于马里、乌干达、尼日尔、埃及、沙特阿拉伯、中非共和国、吉布提、尼日利亚、巴基斯坦领土、埃塞俄比亚、以色列、也门、肯尼亚、厄立特里亚、约旦、索马里、阿曼、苏丹、阿拉伯联合酋长国、乍得和叙利亚。该物种的保护状况被评为无危。扇尾渡鸦的平均体重约为621.2克。栖息地包括淡水泉、绿洲、亚热带或热带的（低地）干燥疏灌丛、牧草地、城市、亚热带或热带的高海拔疏灌丛、耕地、干燥的稀树草原、亚热带或热带的（低地）干草原、亚热带或热带的高海拔草原和乡村花园。
祁盈祁盈（？－前514年），春秋时期晋国人，祁氏末代家主。前514年祁胜和邬臧互换妻子。祁盈准备逮捕祁胜、邬臧，司马叔游劝祁盈暂时不执行。祁盈以为这是祁氏私家的事。于是就逮捕祁胜、邬臧。祁胜贿赂荀跞，荀跞向晋顷公为祁胜说情，诬陷祁盈。晋顷公逮捕祁盈。祁盈的家臣说：“同样都是一起被杀，宁可让主君听到祁胜和邬臧的死讯，也可痛快一下。”就杀了这祁胜和邬臧。夏六月，晋顷公杀死祁盈和羊舌氏的杨食我，灭亡了祁氏、羊舌氏。