出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 公理集合论 |
| 释义 | 公理集合论 公理集合论 数理逻辑的主要分支之一。用形式公理化方法研究集合的理论。为了克服集合论中出现的悖论而提出的。集合论的公理系统有许多种,最著名的有策梅罗-弗兰克尔 (Zermelo-Fraenkel) 系统和冯·诺伊曼-贝尔纳斯-哥德尔(von Neumann - Bernays - Gödel)系统, 前者简记为ZF(在包括选择公理时可记为ZFC),后者简记为GB。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 公理集合论 数理逻辑的主要分支之一。19世纪末集合论已成为数学的基本工具之一,但它本身尚有许多重大问题没有解决。为了解决这些问题,在20世纪初创立了公理集合论。它是在一阶逻辑(一阶谓词演算)的基础上把集合论的基本性质、基本运算给以公理化,进而研究集合论中长期未解决的基本问题,如连续统假设等。集合论的公理系统有许多种类,最著名的有策梅罗-弗兰克尔(Zermelo-Fraenkel)系统和冯·诺伊曼-贝尔纳斯-哥德尔(von 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。