可替代的集合论

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

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

一些可替代的集合论：

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

相关

自然目自然目（ordo naturalis）是一个植物分类学概念，即现今所称的科。卡尔·林奈在其《植物哲学》（Philosophia Botanica）一书中首次使用了这个词。在他更著名的两部作品《自然系统》和
印度海岸防卫队云雀III型直升机印度海岸警卫队（ICG），印度四个武装部队的其中之一，其使命是守卫印度共和国的海上利益。印度海岸警卫队的组织类似于其他的印度武装部队。它按海岸警卫队法创建于
关原之战关原之战（日语：関ヶ原の戦い、大日本帝国陆军参谋部出版书籍使用關原之役）是日本广义的战国时代末期或安土桃山时代发生于美浓国关原地区的一场战役，交战双方为德川家康带领的东
梅子布丁模型梅子布丁模型（英语：Plum pudding model），又称汤姆孙模型或葡萄干布丁模型，是约瑟夫·汤姆孙在1904年提出的原子结构模型。梅子布丁模型表明，原子是由电子悬浮于均匀分布的带正电物
杨吉砮杨吉砮（满语：ᠶᠠᠩᡤᡳᠨᡠ，转写：Yangginu，?－1584年），太杵次子，叶赫东城贝勒。先世为蒙古土默特氏，后来改姓纳喇。到杨吉砮和兄长清佳砮这代，他们吞并、安抚邻近诸部，凭借险要的地势修
美国陆军突击者美国陆军游骑兵（英语：United States Army Rangers），相当于其他国家所说的突击兵或特攻兵，经过特殊训练的轻装步兵，是美国陆军中的精英成员。只要通过游骑兵学校训练，就会获授游骑兵
自养生物自养生物，也称为生产者（producer，autotroph），在台湾称为自营生物，主要包括绿色植物和少数微生物，它们可以利用阳光、空气中的二氧化碳、水以及土壤中的无机盐等，通过光合作用或化能
阮福绵宇阮福绵宇（越南语：Nguyễn Phúc Miên Vũ／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS
熊谷达也熊谷达也（くまがいたつや，1958年4月25日－），日本小说家，宫城县仙台市人，宫城县佐沼高等学校、东京电机大学理工学部数理学科毕业。毕业后曾至千叶县、埼玉县的公立学校教授数学，如
富兰克林·德里隆富兰克林·马格努奥·德里隆（英语：Franklin "Frank" Magtunao Drilon，1945年11月28日－），是菲律宾参议院议长、司法部长。1945年，出生。1969年，毕业于国立菲律宾大学法学院。1991年，任执行部长。1992年，任司法部长。2000年，任参议院议长。