公理化集合论

✍ dations ◷ 2025-02-27 03:06:50 #公理化集合论

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

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

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

相关

  • 十氢化萘十氢化萘,又名十氢萘或萘烷,分子式为C10H18,由两个环己烷并合形成,是有芳香气味的无色液体。它用作工业溶剂,可以溶解许多树脂。十氢化萘可看作萘完全氢化的产物,并且也可通过萘的
  • 九世纪801年1月1日至900年12月31日的这一段期间被称为9世纪。在中国,唐朝经历元和中兴、会昌中兴和大中暂治,但都不能根除唐帝国的衰亡局势。随后宦官专权、藩镇割据加剧,从此一蹶不
  • 论原始基督教的历史论原始基督教的历史或原始基督教史论(德语:Zur Geschichte des Urchristentums)是德国哲学家恩格斯于1894年创作,1894年至1895年于《新时代(英语:Die Neue Zeit)》上发表的作品。该
  • 罗宾·威廉姆斯罗宾·麦洛林·威廉姆斯(英语:Robin McLaurin Williams,1951年7月21日-2014年8月11日)是美国著名演员与配音员,曾赢得奥斯卡金像奖、美国演员工会奖、金球奖、艾美奖、格莱美奖等
  • 南瀛天文馆南瀛天文馆是位于台南市大内区的天文教育馆,原为台南县政府以天文推广教育为主要目的而设立的“南瀛天文教育园区”,2010年县市合并时改名为“南瀛天文馆”,也和位于北区的台南
  • 中铁建设投资中铁建设投资集团有限公司,注册地位于深圳,隶属于中国铁路工程集团的上市公司中国中铁。业务性质为项目建设与资产管理。2017年,公司总资产178.47亿元,净资产37.88亿元,净利润6.2
  • 曹邦辅曹邦辅(1507年-1576年),字子忠,号东村,山东兖州府曹州定陶县人,明朝政治人物。嘉靖十一年(1532年)壬辰科进士,历任元城县知县、南和县知县,升任监察御史,巡视河东盐政。后担任云南道监察
  • 拉姆的情歌拉姆的情歌(日语:ラムのラブソング)是日本女性歌手松谷祐子(日语:松谷祐子)的第1张单曲,1981年10月21日由Canyon(今Pony Canyon)发行。此外这里也介绍多种不同的翻唱版本。同名标题曲
  • 贾梅·卡斯特里隆贾梅·卡斯特里隆(Jaime Castrillón,1983年4月5日-),是哥伦比亚职业足球运动员,曾代表国家队参加了2004年和2007年的美洲杯。2009年初卡斯特里隆租借至中甲南昌八一,帮助球队冲上
  • 凯图 (贝宁)坐标:.mw-parser-output .geo-default,.mw-parser-output .geo-dms,.mw-parser-output .geo-dec{display:inline}.mw-parser-output .geo-nondefault,.mw-parser-output .geo-multi-punct{display:none}.mw-parser-output .longitude,.mw-parser-output .latitude{white-space:n