公理化集合论

✍ dations ◷ 2025-08-18 03:45:13 #公理化集合论

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

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

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

相关

  • 潘他密汀潘他密汀(英语:Pentamidine)是治疗寄生虫感染(英语:antimicrobial)的药物,如非洲人类锥虫、利什曼原虫、巴贝氏虫(英语:babesiosis)。也可以让免疫功能低下患者用来预防及治疗肺囊虫肺
  • 大寮红豆文化节大寮红豆节,每年11月底至12月初于高雄市大寮区举办,时间10:00-17:00大寮区公所大寮红豆产量为高雄市之冠,占全市百分之九十。乡公所与乡代表会特规划“红豆故乡在大寮”的红豆
  • 桑德迈尔反应桑德迈尔反应(Sandmeyer反应)是重氮盐在CuX的催化下与卤素盐类反应产生卤代烃的化学反应。其中X可以为溴、氯或氰基负离子。其机理如下(之前的重氮化反应略去):
  • 埃兰王国埃兰(英语:Elam; 埃兰语:
  • Maurice莫里斯或莫瑞斯可以指:
  • 长尾虎猫长尾虎猫(学名:Leopardus wiedii)是原住在中美洲及南美洲的猫科,学名以维德-新维德亲王(Prince Maximilian of Wied-Neuwied)来命名。它们是独居及夜间活动的,喜欢栖息在雨林的深处
  • 龚铭龚铭(?-17世纪),字应祯,湖广人,南明政治人物。龚铭是李定国的幕客,担任永昌府同知,留守贵阳府。李定国斩杀尼堪后曾应孙可望召,他派人向李定国指出孙可望预谋杀害他,因此定国没有前行。
  • 长廊坐标:39°59′52″N 116°16′19″E / 39.997877°N 116.271868°E / 39.997877; 116.271868长廊(又称千柱廊)是中国北京颐和园内的一处廊。它初建于18世纪中期,东起邀月门,西至
  • 井泽诗织井泽诗织(いざわ しおり、1987年2月1日-)是一名日本女性声优、旁白,埼玉县出生,隶属于EARLY WING。※粗体字为主要角色。2009年2010年2011年2012年2013年2014年2015年2016年2017
  • 战术灯战术灯(英语:Tactical light)是一款与枪械一并使用的手电筒,以协助用户在光亮度低的环境以下识别目标,让射手、执法人员或士兵以武器瞄准的同时照亮目标。战术灯既可手持亦可安装