公理化集合论

✍ dations ◷ 2025-06-28 08:29:01 #公理化集合论

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

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

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

相关

  • 约翰内斯·范德瓦耳斯约翰内斯·范德瓦耳斯(荷兰语:Johannes van der Waals,1837年-1923年),荷兰物理学家,曾任阿姆斯特丹大学教授。对气体和液体的状态方程所作的工作。获得1910年诺贝尔物理学奖。化学
  • 天保以下是被作为年号的天保:
  • 海莉·米尔斯海莉·凯瑟琳·罗丝·薇薇安·米尔斯(英语:Hayley Catherine Rose Vivien Mills,1946年4月18日-),英国女演员。她的父亲是约翰·米尔斯爵士(Sir John Mills),母亲是玛丽·海莉·贝尔(M
  • 振姬振姬(1580年-1617年),德川家康三女,母亲为侧室于竹之方(良云院)。1596年,与蒲生秀行结婚,两人之间生下两男一女。起初蒲生家在蒲生氏乡过世后,遗孀冬姬拒绝成为丰臣秀吉侧室,因此领地从
  • 集市 (非常设)集市,或称山会(英语:Fair)指的是人们聚集起来,进行各种各样的娱乐、商业活动。其形式类似于庙会,但不同的是庙会通常会在寺庙旁举行。节会强调临时性,可以只举办一下午,也可以持续数
  • 分子标记分子标记(英语:Molecular marker)是遗传标记的一种,是在基因水平上的标记,是直接在DNA分子上检测遗传变异。分子标记能对不同发育时期的个体、任何组织器官甚至细胞作检测,数量极
  • 美丽男孩《美丽男孩》(英语:)是一部2018年美国传记片,由菲利克斯·范·葛罗尼根(英语:Felix Van Groeningen)执导,本片为导演首部的英语长片。葛罗尼根和卢克·戴维斯(英语:Luke Davies)合力撰
  • 凭神《凭神》(英语:The Haunted Samurai)是2007年6月23日于日本东映剧场公映的电影。由《铁道员》的黄金组合:原著小说作者浅田次郎、导演降旗康南、摄影木村大作携手打造。日本票房
  • 藤原神居藤原神居(日语:藤原 カムイ,1959年9月23日-),是日本东京都出身的角色设计师与漫画家。工作室“Studio2B”(スタジオ2B)。东京都荒川区出生,本乡学园高校设计科、桑泽设计研究所毕业,编辑暨作家竹熊健太郎是桑泽时代的友人。1979年,以藤原領一为名,处女作《朝如既往》(いつもの朝に)获得第18届手冢奖佳作,同期获奖的还有野部利雄和北条司。1982年3月号《宝岛》临时增刊《宝岛漫画》(マンガ宝島)的作品《巴别乐园》(バベルの楽園),采笔名藤原神居出道。深受大友克洋的影响,其作品典型特征为相当注重
  • DaraDara(英语:Sandara Park,朝鲜语:다라,本名:박산다라,1984年11月12日-),韩国女歌手、演员、舞者、电视节目主持人。2004年在菲律宾出道,2007年从菲律宾回到韩国,经约两年时间训练,2009年以YG娱乐旗下女子团体2NE1出道,于团中担任副唱、副饶舌。2016年11月2NE1解散后继续与YG娱乐续约至2021年5月,现为solo艺人。1984年11月12日Dara出生于韩国的釜山广域市,为家里的长女,有一弟跟一妹,弟弟天动为男子流行音乐团体MBLAQ的前成员之一,妹妹非演艺人士