可替代的集合论

✍ dations ◷ 2025-11-30 02:27:21 #可替代的集合论

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

一些可替代的集合论：

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

相关

span class=nowrapPusub2/sub(SOsub4/sub)sub&g硫酸钚(III)是一种具有强放射性的无机化合物，化学式为Pu2(SO4)3，存在无水物和水合物。可以和钾、铊(I)形成复盐（KPu(SO4)2·4H2O和TlPu(SO4)2·4H2O）。
自杀地点下面是关于现在和历史上常为多数人作为自杀之选的地方，通常是自杀者以跳下的方式进行。一些地点被安装了防自杀护栏和其他预防设施。而某些地点的自杀者之确切数字难以确定，因
五星上将五星上将（英语：General of the Army／Five-Star General），相当于其他一些国家的元帅，也是美国第二高的军阶和目前可以获得的最高军衔。历史上只有9人拥有此军衔。该军衔仅在战时授
立体三维空间（也称为三度空间、三次元、3D），日常生活中可指由长、宽、高三个维度所构成的空间，而且常常是指三维的欧几里得空间。在历史上很长的一段时期中，三维空间被认为是我们生存
丰仁站丰仁站（韩语：풍인역）是朝鲜民主主义人民共和国咸镜北道稳城郡丰仁劳动者区的一个铁路车站，属于咸北线。咸北线
卡尔·哈伯尔卡尔·欧文·哈伯尔（英语：Carl Owen Hubbell，1903年6月22日－1988年11月21日），绰号“餐票”和“卡尔国王”，为前美国职棒大联盟的投手，身高180公分，体重77公斤。16年棒球生涯全效力于
查尔斯·兰道夫查尔斯·兰道夫（Charles Randolph）是一名美国编剧和影视监制。他编剧的主要作品有 (2003), 《翻译风波》(2005)和《爱情与灵药》(2010)。2015年联合编剧的电影《大空头》为他
广东工程职业技术学院广东工程职业技术学院，简称广东工程职院，位于广东省广州市，是经广东省人民政府批准、教育部备案设立的全日制公办普通高等院校，学校代码:13930。
西班牙轻巡洋舰列表西班牙轻巡洋舰列表收录所有西班牙海军旗下的轻巡洋舰。西班牙海军在美西战争中失败后，曾一度一蹶不振。之后因工业实力大幅落后，就开始仿照英国海军同时期所建的轻巡洋舰自行设计建造了多艘舰只。这其中包括仿照城级巡洋舰建造的以侦察为名实则更为强大的“维多利亚·尤金妮亚王后”号，之后仿制C级轻巡洋舰并略有升级的布拉斯·德·莱索级（门德斯·努涅斯级）以及模仿E级轻巡洋舰的设计建造的布拉斯·德·莱索级（阿方索亲王级）。除了“布拉斯·德·莱索”号，其他几艘轻巡洋舰都经历了西班牙内战并存活到了二战之后。前者则在二十世纪三十年
太子建太子建（？－前522年），芈姓，熊氏，名建，字子木，是楚平王的嫡长子。被大夫费无极陷害，出奔郑国，又因与晋国合谋夺取郑国，被郑定公所杀。太子建生年不详。父楚平王、母为郧女（有些史书则是写蔡侯的女儿）。前528年，立为太子，并以伍奢、费无极为他的师傅。其中费无极名为太子的少师，其实经常和楚平王一起，而且因为此人好谀，太子很不喜见他，费无极也恨忌太子。楚平王在位第二年，费无极就挑唆楚平王，娶了原本为太子建聘娶的秦哀公之女孟嬴，又从孟嬴陪嫁媵侍中选择一名齐女代替秦王女，嫁给太子。前523年，在费无极挑唆下，楚平