公理化集合论

✍ dations ◷ 2025-11-02 12:02:25 #公理化集合论

在数学中,公理化集合论是集合论透过建立一阶逻辑的严谨重整,以解决朴素集合论中出现的悖论。集合论的基础主要由德国数学家格奥尔格·康托尔在19世纪末建立。

集合论中其中一套由Skolem最后整理的公理系统,称为Zermelo-Fraenkel集合论(ZF)。实际上,这个名称通常不包括历史上远比今天具争议性的选择公理,当包括了选择公理,这套系统被称为ZFC。

For information on the history of set theory notation, see:

相关

  • 贯穿性脊髓炎贯穿形脊髓炎是由脊髓发炎而导致的、影响到整个一段脊髓的病症,这种炎症将损害轴突,产生脱髓鞘作用、进一步导致中枢神经系统电阻率下降。没影响到整个脊髓的则叫做部分性脊髓
  • 新韩银行新韩银行(신한은행)是一家总部位于韩国首尔中区的银行,创立于1897年,是韩国历史上第一家民间银行,现为新韩金融集团的主要部分。截止到2013年,新韩银行总资产达313万亿韩圆,在10多
  • 计算思维计算思维(英语:Computational thinking,缩写为CT)的研究包含计算思维研究的内涵和计算思维推广与应用的外延两个方面。其中立足计算机学科本身来研究的该学科中的涉及到的构造性
  • AOAAOA(韩语:에이오에이;Ace of Angels的首字母缩写,直译“王牌天使”)是韩国FNC娱乐旗下第一支女子音乐组合和女子舞蹈团体,也是FNC第一支音乐与舞蹈共同活动的团体,最初由8名成员组
  • 副带腭鱼副带腭鱼,为辐鳍鱼纲鲈形目南极鱼亚目龙䲢科的其中一种,分布于南冰洋海域,属深海鱼类,栖息深度5-270米,体长可达59公分,为底栖性鱼类,属肉食性,以鱼类及磷虾为食。 维基物种中有关副
  • 安硕MSCI新兴市场指数基金安硕MSCI新兴市场指数基金(英语:MSCI Emerging Markets Index Fund,NYSE:EEM)是于纽约证券交易所上市的交易所交易基金,这个是在新兴市场的企业股份类别。现时基金持股比重最大公
  • 火星王后《火星王后》(Aelita: Queen of Mars),又译《火星女王》, 是一套前苏联时代(1924年)的科幻电影。它从同名小说改编,由保他泽诺夫拍摄。这电影的焦点在冷战时期的苏联,一小群人
  • 康沃尔肉馅饼馅饼(康瓦尔语:, 英语:Cornish pasty)是与英国康沃尔有关的传统烤制肉馅饼。圆形酥皮上包入生肉和蔬菜做的馅料,对折起来做成半圆形饺子状,饼皮边缘打折封好后烘烤。传统的康沃尔
  • 弗里德里希王子 (黑森和莱茵)弗里德里希王子,全名弗里德里希·威廉·奥古斯特·维克托·利奥波德·路德维希(德语:Friedrich Wilhelm August Victor Leopold Ludwig,1870年10月7日-1873年5月29日),是黑森和莱茵
  • 法罗群岛-欧盟关系法罗群岛-欧盟关系是指法罗群岛与欧洲联盟的关系。罗马条约中清楚地说明,虽然法罗群岛是丹麦王国的自治领地,但是却非欧盟的一部分。影响法罗群岛与欧盟的关系的法律条文主要有 1977年的渔业条约,以及1991年(1998年被再次修改)的自由贸易协定。法罗群岛一直拒绝加入欧盟的最主要原因是后者的共同渔业政策。罗马条约清晰指明,法罗群岛并非欧盟的一部分。 欧盟的自由流动货物、人员、资本和服务以及其他法律指令皆不适用于当地。丹麦加入欧盟的条约中有条例声明,所有居住在法罗群岛的丹麦公民并不被视为欧盟公民,(其他居住在当