可替代的集合论

✍ dations ◷ 2025-12-04 02:04:15 #可替代的集合论

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

一些可替代的集合论：

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

相关

span class=nowrapNi(NOsub3/sub)sub2/sub/span硝酸镍是镍的硝酸盐，化学式为Ni(NO3)2，以六水合物Ni(NO3)2·6H2O最为常见。硝酸镍是一种绿色单斜结晶，有吸潮性，在潮湿空气中迅速潮解，在干燥空气中稍微风化。易溶于水、氨水、液
Yes California是的加利福尼亚独立运动（Yes California Independence Campaign）是一个美国的政治行动委员会（英语：political action committee），在2015年成立，诉求内容是透过2019年的公民投票决定
德寿宫德寿宫是朝鲜王朝最后的宫殿，位于大韩民国首尔市，宫内有许多朝鲜早期的欧式建筑。德寿宫最早作为成宗之兄月山大君的宅邸而建。壬辰倭乱时，居住在这里的是月山大君的后代李琉、
24小时24小时或二十四小时（英语：24 hours；法语：24 heures）可以指：此外，文章、文宣或广告招牌中所述的“24小时营业”，即是以24小时制为标准，指全天候、不间断的意思。
詹姆斯·本杰明·兰帕特詹姆斯·本杰明·兰帕特（英语：James Benjamin Lampert；1914年4月16日－1978年7月10日）美国陆军军官，最高军衔为陆军中将。出生在华盛顿特区。其父是一位陆军上尉，第一次世界大战期间
深川麻衣深川麻衣（日语：深川麻衣／ふかがわまい */?，1991年3月29日－）是日本女演员，为女子偶像团体乃木坂46前成员。静冈县磐田市出身。现所属经纪公司为Ten Carat（日语：テンカラット）。201
索菲·约翰娜·玛利亚索菲·约翰娜·玛丽亚（Sophie Johanna Maria，1978年3月7日－），出生于西德法兰克福。是被废黜的普鲁士王室后裔。头衔有伊森堡公主，普鲁士王妃。她是伊森堡-比尔施泰因亲王弗朗茨·
斯坦尼斯拉夫·斯特拉蒂耶夫斯坦尼斯拉夫·斯特拉蒂耶夫（保加利亚语：Станислав Стратиев、1941年09月09日－2000年09月20日）保加利亚作家。在索菲亚大学读取文学硕士时开启了他的记者生涯
渭干河渭干河是塔里木河的支流之一，又称龟兹川水。发源于天山南坡，由木扎尔特河、克孜尔河等六条支流汇合而成。在木扎尔特河与克孜尔河汇合处建有克孜尔水库。目前已无水注入塔里木
G.726G.726是ITU-T定义的音频编码算法。1990年 CCITT（ITU前身）在G.721和G.723标准的基础上提出。G.726可将64kbps的PCM信号转换为40kbps、32kbps、24kbps、16kbps的ADPCM信号。G.721 推出于1984年，G.723 推出于 1988年。1990年二者整并成 G.726。G.727 与 G.726 几乎同时推出, 二者具有相同的比特率（bit rates）, 但G.727则针对 PCME (Packet Circuit Multiplex Equ