公理化集合论

✍ dations ◷ 2025-05-19 18:10:31 #公理化集合论

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

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

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

相关

  • 朊毒体朊毒体(英语:prion,发音为/ˈpriː.ɒn/;又译为普利昂、蛋白质侵染因子、毒朊、感染性蛋白质、普恩蛋白等)是一种具感染性的致病因子,能引发人类及哺乳动物的传染性海绵状脑病。朊
  • 棉鼠亚科棉鼠亚科(学名:Sigmodontinae)是啮齿目仓鼠科的一个亚科,分布于美洲,种类很多:
  • 曼弗雷德·格拉赫曼弗雷德·格拉赫(德语:Manfred Gerlach,1928年5月8日-2011年10月17日),东德政治人物。1989年12月3日至1990年4月5日期间任东德国务委员会主席。曼弗雷德·格拉赫生于莱比锡。1943
  • 员山温泉坐标:24°44′58″N 121°42′47″E / 24.749423°N 121.713104°E / 24.749423; 121.713104员山温泉座落于台湾宜兰县员山乡,距宜兰市约四公里,又名宜兰温泉。依地质分类,员山
  • 蔡徐坤蔡徐坤(1998年8月2日-),中国大陆男歌手、演员、词曲作家,出生于浙江温州。2012年通过参加综艺节目《向上吧!少年》进入娱乐圈。随后赴美国留学,2015年回国,先后参加中韩真人秀节目《
  • 约尔迪·阿尔巴约尔迪·阿尔巴·拉莫斯(西班牙语:Jordi Alba Ramos,1989年3月21日-),西班牙足球运动员,现效力于西班牙足球甲级联赛巴塞罗那足球俱乐部,司职左后卫,也能胜任左中场。阿尔巴在奥斯皮
  • 纪念碑山 (加利福尼亚州)纪念碑山(英语:Monument Hills)是位于美国加利福尼亚州优洛县的一个人口普查指定地区。纪念碑山的座标为38°39′51″N 121°52′32″W / 38.66417°N 121.87556°W / 38.66417
  • 波卡特洛波卡特洛(英语:Pocatello,1815年-1884年10月),肖松尼语称通藻沙(肖松尼语:Tondzaosha,意为“野牛的皮袍”),美国原住民北肖松尼人的酋长。曾率领大盆地的肖松尼部族袭击白人定居者,并和
  • 甘德堡甘德堡是伊朗的城市,位于该国东南部,由锡斯坦-俾路支斯坦省负责管辖,海拔高度499米,主要农产品有稻米和枣类,2006年人口10,826,居民大多数是俾路支人。
  • 谢文思谢文思(1915年-),广东梅县人,中华人民共和国政治人物,中华全国归国华侨联合会原副主席,第六、七届全国政协委员。