公理集合论什么出现的?公理集合论有哪些内容
本文已影响1.25W人
本文已影响1.25W人
公理集合论(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集 论法理陈晨轻判杀父案
赵元任有着哪些研究理论?对中国有什么影响
翻译理论有哪些
唐代文学家罗隐《黄河》原文、译文注释及赏析
水浒传中方腊兵败被擒后他的宝藏去哪儿了?
马嵬坡事变的真实故事是什么?谁才是杀杨贵妃的主谋?
最难修炼的武功排行 葵花宝典练习难度不高
汉武帝作为一代雄主,为什么却痴迷于求仙问道?
解密秦朝的灭亡:秦朝到底是怎么灭亡的?
梁简文帝萧纲生平简介 梁简文帝萧纲怎么死的
水浒奇事!一代英雄鲁智深竟然当众开口要官
揭秘:三国里不为人知的万人敌是谁?
马奇诺防线之谜:为何忽略了比利时方向?
历史上杨坚为什么能顺利称帝?详解其原因
大麻合法化之后没人种咋办?意大利让军队开工
历史上的今天9月15日 意大利旅行家马可波罗出生
古代妃子侍寝的过程:把皇帝哄开心了才能得宠
诸葛亮的空城计为什么能成功 司马懿真的被诸葛亮骗到