公理化集合论

✍ dations ◷ 2025-09-08 05:57:11 #公理化集合论

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

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

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

相关

  • 印度太空研究组织name = 'Aero', description = '航空太空科技(航空航天科技)', content = {{ type = 'text', text = [=[本页面没有类似于NoteTA的数量限制。 请自行修改分类名。在NoteTA样板
  • 地衣芽孢杆菌地衣芽孢杆菌(学名:Bacillus licheniformis)是一种在土壤中常见的细菌。在鸟类,特别是居住在地面的鸟类(如雀科)和水生的鸟类(如鸭)的羽毛中也能找到这种细菌,特别是胸部和背部的羽毛
  • 感染性海绵状脑病传染性海绵状脑病(英语:transmissible spongiform encephalopathies, TSEs),又译为传播性海绵样脑症。而其它常见名称为普利昂疾病或朊毒体疾病(Prion diseases)。是一种会影响人
  • 颗粒球粒细胞是一类细胞质中包含颗粒体(英语:Granule_(cell biology))的白细胞,又因其细胞核形态多样而称多形核白细胞,(PMN或PML)。术语多形核白细胞通常特指最常见的中性粒细胞。粒细胞
  • 拉娜·帕塔克拉娜·帕塔克(英语:Ratna Pathak,1957年3月18日-)是一名印度的女演员和导演,主要作品是宝莱坞及英语电影。她最为人所知的电影包括《Khoobsurat》(2014)、《Kapoor and Sons》(2016)及
  • 弗兰克·洛伊德弗兰克·洛伊德(英语:Frank Lloyd,1886年2月2日-1960年8月10日)是一名英国出生的美国电影导演,演员,编剧以及制片人。也是美国电影艺术与科学学会的创始成员。弗兰克·洛伊德是苏格
  • 路易·马克·安托万·德·诺瓦耶路易·马克·安托万·德·诺瓦耶,诺瓦耶子爵(Louis Marc Antoine de Noailles, vicomte de Noailles,1756年4月17日-1804年1月9日),法国诺瓦耶公爵的显赫成员。穆希公爵菲利普·德
  • 松前城松前城,亦称为为福山城,是位于北海道松前町的一座日式城堡,为江户时代松前藩的主城,也是北海道里唯一的日式城堡。
  • 泷本美织泷本美织(1991年10月16日-),日本女演员、歌手,鸟取县出身,乐团LAGOON(日语:LAGOON)前主唱。经纪公司为Stardust Promotion。目前就读于亚细亚大学经营学部。2003年8月,以爱贝克思所属
  • 张师正张师正(1016年-?),字不疑,襄国(今河北邢台)人,北宋官员。宋真宗天禧元年出生。进士甲科及第,担任太常博士,宝元年间,先榷酒于雕阴,后任渭州推官、知南恩州。换武为遥郡防御使。嘉祐中,知容州(今玉林市)、邕州(今南宁市)、宜州(今河池市)。嘉祐六年为仪鸾使、英州刺史。治平初年,为荆南钤辖。治平二年,为大名(今属河北省)钤兵。治平三年(1066年),为辰州帅。熙宁十年(1077年),为鼎州帅。师正与魏泰、文莹等有交往。哲宗时仍健在。著有《倦游杂录》八卷,今存一卷;《括异志》十卷。