公理化集合论

✍ dations ◷ 2025-07-22 03:28:01 #公理化集合论

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

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

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

相关

  • 新布尼亚病毒新布尼亚病毒(SFTS Virus),又称发热伴血小板减少综合征病毒,是布尼亚病毒科白蛉病毒属(英语:Phlebovirus)的一种病毒,其引发的病症称为发热伴血小板减少综合征,为一种经由蜱虫传染给
  • 块茎块茎(英语:stem tuber)及块根(英语:root tuber)均为部分植物物种借助其构造上膨大了的部分而形成的营养素贮藏器官。这些构造存在于多年生植物,用以在其越过冬季或旱季(多年化(英语:Pe
  • 计算机成像计算机产生图像(英文:Computer-generated imagery,缩写:CGI),简称计算机成像,旧称计算机绘图(英文:Computer Graphics,缩写:CG),是指使用计算机产生的影像,更精确的如应用在影片中的三维特
  • 中国野菰中国野菰(学名:)是列当科野菰属的全寄生植物。主要分布于华南、日本。日本称本种植物为大南蛮烟管(オオナンバンギセル)或山南蛮烟管(ヤマナンバンギセル)。植株高15厘米至30厘米,全
  • 图思义觉罗图思义,爱新觉罗氏,满洲镶蓝旗人,清朝政府官员,他于1777年担任巡视台湾监察御史,该官职满汉人各一,而满人的他与孟邵为同任御史。
  • 牛尚周牛尚周(英语:New Shan Chow,1862年-1917年),字文卿,江苏嘉定人,清朝留美幼童之一。他也是嘉定历史上的首位留学生。1872年(同治十一年),牛尚周作为清政府第一批官派留美幼童赴美国留学,
  • 秀策数秀策数代表了一名围棋玩家与本因坊秀策之间的“距离”,以围棋对弈者的数量作为“距离”单位。在此设有玩家C(对弈前秀策数 = 45)、玩家D(对弈前秀策数 = 9)、玩家E(对弈前秀策数 =
  • 奥尔森冰原岛峰坐标:74°55′S 162°28′E / 74.917°S 162.467°E / -74.917; 162.467奥尔森冰原岛峰(英语:Olson Nunatak),是南极洲的冰原岛峰,位于维多利亚地中斯科特海岸的里维斯冰川终点南
  • 阿里·恰格雷汗阿里·恰格雷汗(Ali,?-1160年),西喀喇汗国第15代汗,哈桑·克雷奇·桃花石汗之子。西喀喇汗国是西辽的属国,伊卜拉欣三世死后,阿里·恰格雷汗即位,结束了阿里系在撒马尔罕的统治。他联合西辽、东喀喇汗攻打花剌子模支持的葛逻禄,最后达成合约,他死后,侄子马黑木三世和儿子马斯乌德二世争位。
  • 宝成企业大楼宝成企业大楼是一栋位于台湾高雄市前金区是摩天办公大楼。于1988年开工建设,1991年竣工,是高雄最早的摩天大楼之一。建筑由台湾建筑师黄永洪设计,总楼地板面积为96,100平方米,高度为135米 ,包括地上 37 层和地下 5 层。 这栋大楼是宝成工业的总部。