公理化集合论

✍ dations ◷ 2025-04-04 11:32:57 #公理化集合论

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

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

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

相关

  • 武则天光宅:684年九月~十二月 垂拱:685年~688年 永昌:689年正月~十月 载初:690年正月~八月 天授:690年九月~692年三月 如意:692年四月~九月 长寿:692年九月~694年五月 延载:694年五月~腊月 证圣:695
  • 43· motile cilium味觉感受器,类型2,成员43,TAS2R43 是一个人类基因组中TAS2R43基因编码的蛋白质,是苦味味觉感受器的一员。
  • 弹道导弹核潜艇弹道导弹潜艇(英语:Ballistic Missile Submarine)是一种以发射弹道导弹为主要功能、专用于水底隐身潜航以作为核威慑(nuclear deterrent)武力平台的潜艇类别。世界上最早成军的弹
  • 银川平原银川平原,一称宁夏平原,是位于中国宁夏回族自治区中北部的一个平原。有说法说银川平原属于河套平原中的西套平原,也有说法说银川平原和只包括东套的河套平原并列。银川平原宁夏
  • A21公路A21公路、A21高速公路可以指:
  • 艾哈迈德·莫夫蒂扎代艾哈迈德·莫夫蒂扎代(1934年-1993年),是伊朗的学者和逊尼派活动积极分子,在伊朗伊斯兰共和国库尔德斯坦省的萨南达季出生。在什叶派主导的伊朗,作为逊尼派宗教领袖的他,从巴列维王
  • 龚心钊龚心钊,摄于光绪己丑年(1889年)龚心钊(1870年-1949年),字怀希,号仲勉,安徽省庐州府合肥县人,祖籍江西临川,清末民初学者、外交家。光绪进士。龚心钊为明末江左三大家之一的龚鼎孳之后,晚
  • 麦金托什县 (佐治亚州)麦金托什县(英语:McIntosh County, Georgia)是美国乔治亚州东部大西洋岸的一个县。面积1,488平方公里。根据美国2000年人口普查,共有人口10,847人,2005年
  • 平克顿侦探事务所平克顿侦探事务所(英语:Pinkerton National Detective Agency, 略称:Pinkertons)是美国的私立私家侦探与保全公司。现以瑞典的赛科利达安保公司(英语:Securitas AB)在美国的分公司Securitas Security Services USA的身份存续下来,政府部门也会称呼它们为Pinkerton Government Services。从保镖工作到承揽军事工作,其营业范围非常广。最盛时期还拥有比美国陆军士兵人数还多的雇员,俄亥俄州内,由于惧怕他们会被以
  • 阿尔巴尼亚行政区划 政治主题阿尔巴尼亚共分为12州(qark/qarku)、36区(rrethe),下再设市乡镇。