公理集合论什么出现的?公理集合论有哪些内容
本文已影响1.38W人
本文已影响1.38W人
公理集合论(axiomatic set theory)是数理逻辑的主要分支之一,是用公理化方法重建(朴素) 集合论的研究以及集合论的元数学和集合论的新的公理的研究。
19世纪70年代,德国数学家G.康托尔给出了一个比较完整的集合论,对无穷集合的序数和基数进行了研究。20世纪初,罗素悖论指出了康托尔集合论的矛盾。为了克服悖论,人们试图把集合论公理化,用公理对集合加以限制。
第一个常用的公理系统是E.F.F.策梅洛和A.A.弗伦克尔等提出的ZF系统。这个系统中只有一个非逻辑二元关系符号∈,非逻辑公理有:外延公理、空集公理、无序对公理、并集公理、幂集公理、无穷公理、分离公理模式、替换公理模式、正则公理。如果加上选择公理就构成ZFC系统。利用公理可以定义出空集、序对、关系、函数等集合,还可以给出序关系、良序关系、序数、基数,也可以给出自然数、整数、实数等概念。
通过元语言,也可公理系统中各公理之间的相容性和独立性,例如Cohen于1960年创立公理集合论中的力迫法,并用来证明ZFC与连续统假设CH独立。公理集合论发展很快,马丁公理、苏斯林假设等新公理新方法已被广泛使用,组合集合论、描述集合论、大基数、力迫法的研究也持续发展。
在公理集合论的研究中,大量的工作是关于集合论模型的,此外,还继续此前朴素集合论对无穷组合问题的研究即组合集合论的研究。其中的一些问题是来源于柯尼希树引理和 F. P.拉姆齐定理的推广。
另一分支则为描述集合论(亦称解析集合论),主要是研究划分层次以后的实数子集的结构性质问题。因而,这一部分与分析、实数理论和递归论的关系较为密切。
即使限于上述两个分支的研究,也有许多问题要用到ZF(或ZFC)以外的附加假设才能判定。这里,常用的附加假设有:可构成公理;各种大基数公理,以及与AC不协调的决定性公理等。
哥德尔在1938年提出了可构成公理,并在60年代末和70年代得到重视和发展。至于大基数的研究由来已久,但其作为附加公理亦是在60年代以后。几乎每一种大基数都是ω的某种性质向不可数基数的推广。可构成性、大基数和力迫法已成为公理化集合论的三大主流,同时它们又是三种研究工具。随着无穷博弈的诞生和博弈论在数学各分支的渗透,以及博弈论与逻辑的关系日益密切,决定性公理也愈受到重视。
广义相对论的量子理论是什么 当前的进展如何
徐旭生有着哪些著作理论?参与了哪些历史发掘
刘完素有着哪些著作理论?对哪些病症有独到的见解
普朗克因发现量子理论而获诺贝尔物理奖
丹尼尔·卡内曼研究了哪些领域?有着怎样的理论知识
文化翻译理论 文化翻译理论有哪些
神灭论之争具体内容介绍,神灭论与神不灭论
翻译理论有哪些
熊十力有着哪些理论思想?他的主要学说是什么
宋明理学简介 是儒、释、道三教长期争论和融合的果实
公理的公理集合论
王好古的著作有哪些?都分别阐述了什么理论
朱震亨有过哪些医学著作?分别阐述了什么理论
《长歌行》基于前八集的内容来论,还不足以套住观众
墨子·48章 公孟(3)原文有哪些内容?该如何理解?
赵元任有着哪些研究理论?对中国有什么影响
窦材有着哪些医学理论?他主张什么学说
高中数学公式集合
李靖丰富了中国的军事思想,他提出哪些理论?
丹尼尔·卡内曼有着怎样的学术研究?有着哪些理论观点
经济学理论有哪些?理论经济学专业介绍
比较优势理论是什么?比较优势理论的发展
《人民检察官》第28集 论法理陈晨轻判杀父案
地心世界未解之谜 内藏人类稀缺丰富资源
南瓜属于什么品种?又有哪些生长的习性呢?
乔治安娜公爵夫人的原型是谁?她是个怎样的人?
明朝大臣都穆简介:曾任工部主事,官至礼部郎中
王居士砖塔铭:唐代楷书的瑰宝
学者称美军故意轰炸东京住宅区:大量平民死亡
岳飞真的非死不可吗 这件事情的真相是什么
苏妲己是如何让年过60的纣王重燃起欲火的?
镇元子是谁?镇元子为何是地仙之祖
乔治·斯蒂芬森发明了什么?他有哪些成就?
《理智派生活》主演阵容介绍,讲述了什么故事?
安禄山是靠什么发家致富的原因真相揭秘
五虎上将的本事与项羽的实力对比,他们打得过项羽吗?
车千秋怎么读?车千秋的正确读音是什么?
俗话说一朝天子一朝臣 张廷玉为什么能够屹立三朝而不