可替代的集合论

✍ dations ◷ 2025-04-26 13:17:33 #可替代的集合论

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

一些可替代的集合论:

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

相关

  • 查莫罗人查莫罗人(西班牙语:Chamorro),又称查莫洛人,是对马里亚纳群岛上土著人的称呼。其中最为人们所了解的是关岛查莫罗人。查莫罗人属于密克罗尼西亚人种,在民族学界对其起源存在较大争
  • 间隙连结间隙连接(Gap junction),或称缝隙连接,是细胞连接的一种,神经细胞之间的间隙连接又称电突触(Electrical synapse),是一种特化的动物细胞间连接,广泛地存在于各种动物组织中。间隙连接
  • 南方盗龙南方盗龙属(学名:Austroraptor)生存于白垩纪晚期的阿根廷,约7,000万年前。南方盗龙的身长约5米,是种大型驰龙类恐龙,是目前南半球所发现的最大型驰龙类恐龙。与其他驰龙类相比,南方
  • 夏朝夏朝(前2070年—前1600年。)是中国传统史书中记载的第一个中原部族世袭制朝代。一般认为夏朝是多个部落联盟或复杂酋邦形式的国家,其主体部族称为夏人。依据史书记载,夏、商、周
  • 彼得·久尔科维奇彼得·久尔科维奇(塞尔维亚语:Петар Ђурковић,拉丁化:Petar Đurković,1908年-1981年),是一位塞尔维亚天文学家,在塞尔维亚以发现小行星闻名。他发现的两颗小行星中一
  • 高氯酸氧锆高氯酸氧锆是一种无机化合物,化学式为ZrO(ClO4)2,易溶于水,溶于水放热,在水中解离出ZrO2+和ClO4−离子。先从其它锆盐沉淀得到氢氧化锆,用蒸馏水洗涤,加入化学计量比的高氯酸反应,
  • 比利·默尔比利·默尔(英语:Billy More,1635年2月3日-2005年4月4日),本名马西莫·布兰卡乔(Massimo Brancaccio), 是一名变装皇后、音乐家。出生于意大利。因白血病于2005年8月14日在米兰过世
  • 恭肃皇贵妃恭肃皇贵妃(1857年-1921年4月14日),阿鲁特氏,蒙古镶蓝旗人,同治帝之皇贵妃,首席军机大臣赛尚阿之庶女。咸丰七年(1857年)八月初三日出生。同治帝孝哲皇后的父亲崇绮是赛尚阿第三子,即
  • 摩天岭 (新竹市)坐标:24°45′N 120°58′E / 24.750°N 120.967°E / 24.750; 120.967摩天岭,位于台湾新竹市东区柴桥里南缘,为新竹市与新竹县宝山乡的界山,高度在100米左右,属于竹东丘陵的一部
  • 弗雷德里克·芬奈尔弗雷德里克·普特南·芬奈尔(英语:Frederick Putnam Fennell,1914年7月2日-2004年12月7日),美国指挥家,是交响管乐团此一演出形式的先驱,其对美国本土及海外的乐团教学、音乐教育有深厚影响。芬奈尔生于美国俄亥俄州克里夫兰市。他在7岁时选择打击乐器为他的第一种学习的乐器,在一个称作康宝·泽克(Camp Zeke)的家族营队(Family's encampment)里的鼓号乐队中担任鼓手。他在10岁时拥有自己的第一套爵士鼓。在约翰·亚当斯高中(英语:John Adams Hig