[拼音]：gongli jihelun

[外文]：axiomatic set theory

数理逻辑的主要分支之一，是用公理化方法重建(朴素) 论的研究以及 论的元数学和 论的新的公理的研究。E.F.F.策梅洛于1908年首开先河，提出了第一个 论公理系统，旨在克服 论中出现的悖论，20世纪20年代A.A.弗伦克尔和A.T.斯科朗曾予以改进和补充，从而得到常用的策梅洛-弗伦克尔公理系统，简记为 ZF。ZF 是一个形式系统，建立在有等词和属于关系“∈”的一阶谓词演算之上。它的非逻辑公理有:外延公理、空集公理、无序对公理、并集公理、幂集公理、无穷公理、分离（子集）公理模式、替换公理模式、正则（基础）公理。如果另加选择公理(AC)则所得到的公理系统简记为ZFC（见 论公理系统）。

已经证明：ZF对于发展 论是足够的，它能避免已知的集论悖论，并在数学基础的研究中提供了一种较为方便的语言和工具。

在ZF中，诸如有序对、关系、等价关系、线序、良序、函数、自然数、有理数、实数及其运算、顺序等等都可以定义。也就是说，几乎所有的数学概念都能用集论语言表达。数学定理也大都可以在 ZFC系统内得到形式证明。因而作为整个数学的基础（至多范畴论例外），ZFC 是完备的。数学的协调性（无矛盾性）可以归结成ZFC的协调性。

如果一 x的元素的元素也都还是x的元素，则称x为传递集。一个 x是自然数：如果x是传递集，x的全体元素在∈下良序，而且x的每一非空子集对序∈而言有较大元。这样可以把自然数变成了在ZF内可以定义的一种性质，如把0定义作空集═，1定义作0∪{0}，2定义作1∪{1}……等等，则0，1，2，…，都是自然数，而且只有这些是自然数。

序数是自然数的推广。

“x是序数”是指如果 x是传递集，而且x在∈下良序。令On表示全体序数所成的 ，α，β∈On，α<βα∈β。这样，就用∈定义了序数间的< 关系，每一序数都是由比它自身小的序数所组成的 。

每一自然数都是序数，全体自然数ω{0，1，2，…}也是序数。对任一 x，令s(x)=x∪{x}。则当x是序数时，s(x)亦为序数。一序数α称作后继序数:如果有一序数β，使α＝s(β)。不是后继序数的序数称为极限序数，例如0，ω 均为极限序数。

On虽为一真类，但具有性质:On的任一非空子类都有小元。因此，要想证明每一序数都具有性质φ ，即可应用超限归纳原理：对于任给的一序数β ，若每一比β小的序数α都具有性质φ 则β亦具有性质φ ，那么对所有的序数都具有性质φ 。

在定义序数运算（加、乘、幂）时，需要用超限递归定理：若G是一运算，则有一运算F，使得对每一序数α，都有F(α)=G(Fα)。而这一定理的证明要用到替换公理。有了替换公理还可以得到极限序数ω+ω的存在性。如果先将正整数从小排到大，再把非正整数从大排到小而成一序列：1，2，3，…，0，-1，-2，…。从而全体整数就良序了，其序型即为ω＋ω 。

事实上，任一良序集〈ω，＜〉，都有惟一的序数α使得〈w，＜〉序同构于〈α，∈〉。因此，就可以把良序集按序同构来分类，并将同属于一类的称为具有同一序型的良序集。而序数就可定义作为同构的良序集的代表。依此，可以定义序数的运算。例如，序数的加法可以定义如下:若α，β为序数，γ为极限序数

β＋0=β，β＋s(α)＝s(β＋α)，β＋γ＝(β＋α)，即用关于α的超限归纳原理来定义β+α。同样地可以定义序数的积β. α和幂βα，以及相应的运算性质，如结合律等。

可以证明：替换公理是独立于其他公理的。

正则公理与其他公理不同，它不是断言某些 的存在，而是限制一些 的存在。提出它是为了研究ZF的模型。在ZF中可定义的数学对象都不以自身为元素；也未发现有 x，y， 具有x∈y并且y∈x的性质或者 序列x1，x2，…，满足:。1917年D.米里马诺夫首先提出良基集的概念。1922年弗伦克尔在策梅洛原来的公理系统补充了一条公理名曰限制公理，顾名思义，它是给出某种限制，以排除那些非良基集。1925年J.冯·诺伊曼，称它为正则公理。1930年策梅洛也独立地引入了这条公理，并称它为基础公理：

。

从而完成了ZF。

冯·诺伊曼给出了一个分层：其中V0=═，（α为任一序数， F(Vα)表Vα的幂集）。这样，正则公理肯定了每一 必在某一Vα中。若再引进γ

，

称为x的秩。从而，即可依秩来作超限归纳。

在AC成立的条件下，每一群都同构于一个在π中的群：每一拓扑空间都同构于一个在Π中的拓扑空间，等等。而在数学讨论中常常是把同构的对象视作同一的；故正则公理并不给讨论带来局限。

基数概念至为重要。两个集x、y称作是等势的若在x与y之间能建立一个一一对应。如果 x与y等势，则记作x～y。由于AC任一 x都可以良序化，故有序数α ，使得α～x，把这种α中小的那个序数定义作为 x的基数，并记作│x│。这样定义的基数│x│仍然是一个 ;而每一 x都有一个│x│作为x的数量大小的一个刻画；并且如果x～y，则│x│=│y │。

这样定义的基数是序数的一部分：即是不能与小于自己的序数等势的那些序数，也就是所谓初始序数。例如0，1，2，…，ω 等都是初始序数，因而都是基数。而ω+1，ω+2，…，ω+ω等都不是初始序数，故都不是基数。所以紧接着基数0，1，2，…，ω 的基数是ω1，它也记作堗1。

如果AC不成立，则可利用正则公理来定义任一 x的基数，记作憫 。憫为一 ：

。

上述定义系D.S.斯科特于1955年给出的。

在60年代末期A.莱维还证明了在AC与正则公理都不成立的情况下，基数概念是不可定义的。

由哥德尔不完备性定理可知：如果ZF是协调的，则在ZF中不能证明自身的协调性。所以，在公理 论中只考虑相对协调性问题。如：

解决这类问题的常用方法就是构造模型。在公理 论中构造模型的方法不外三点：内模型法，外模型法（即力迫方法），对称模型法。

内模型法是从已知的一个模型M 出发，来定义M 的一个子模型M s；使得M s满足ZF的一些公理或者ZF以外的一些公理。公理 论的一个著名成果就是1938年K.哥德尔所给出的

ConZF→Con(ZF+CH)的证明，证明中用的就是内模型法，但是当时尚未如此命名。

迄至1951年J.C.谢泼德森已经把内模型法研究得很完善，并已知道要用此法去证明

是不可能的。

外模型法（即力迫法）是P.J.科恩1963年所创，科恩据此而证明了CH的相对于ZF的独立性（见力迫方法）。

排列模型的想法始于弗伦克尔，当时他是用来证明 及一些弱选择公理的相对协调性，适用于有原子（本元）的 论。迭经A.莫斯托夫斯基、斯派克等人的改进而形成FMS方法，其与外模型法相结合即可构成对称模型法。

在公理 论的研究中，大量的工作是关于 论模型的，此外，还继续此前朴素 论对无穷组合问题的研究即组合 论的研究。其中的一些问题是来源于柯尼希树引理和 F. P.拉姆齐定理的推广。

另一分支则为描述 论（亦称解析 论），主要是研究划分层次以后的实数子集的结构性质问题。因而，这一部分与分析、实数理论和递归论的关系较为密切。

即使限于上述两个分支的研究，也有许多问题要用到ZF（或ZFC）以外的附加假设才能判定。这里，常用的附加假设有：可构成公理；各种大基数公理，以及与AC不协调的决定性公理等。

哥德尔在1938年提出了可构成公理，并在60年代末和70年代得到重视和发展。至于大基数的研究由来已久，但其作为附加公理亦是在60年代以后。几乎每一种大基数都是ω 的某种性质向不可数基数的推广。可构成性、大基数和力迫法已成为公理化 论的三大主流，同时它们又是三种研究工具。随着无穷博弈的诞生和博弈论在数学各分支的渗透，以及博弈论与逻辑的关系日益密切，决定性公理也愈受到重视。

严正声明：本文由历史百科网注册或游客用户任芷萌自行上传发布关于» 公理结合论的内容，本站只提供存储，展示，不对用户发布信息内容的原创度和真实性等负责。请读者自行斟酌。同时如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。同时遵循 CC 4.0 BY-SA 版权协议，尊重和保护作者的劳动成果，转载请标明出处链接和本声明内容：作者：任芷萌；本文链接：https://www.freedefine.cn/wenzhan/134959.html