公理集合論什麼出現的?公理集合論有哪些內容
本文已影響1.34W人
本文已影響1.34W人
公理集合論(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集 論法理陳晨輕判殺父案
竇材有着哪些醫學理論?他主張什麼學說
翻譯理論有哪些
比較優勢理論是什麼?比較優勢理論的發展
神滅論之爭具體內容介紹,神滅論與神不滅論
趙元任有着哪些研究理論?對中國有什麼影響
熊十力有着哪些理論思想?他的主要學說是什麼
宋明理學簡介 是儒、釋、道三教長期爭論和融合的果實
文化翻譯理論 文化翻譯理論有哪些
王好古的著作有哪些?都分別闡述了什麼理論
太平廣記·卷八十二·異人·李子牟
朱元璋北伐受挫後爲什麼就再也不進攻了?
花蕊夫人:末代貴妃最愛的竟是亡國前夫
六出祁山都失敗了,爲何諸葛亮扔執意北伐?
《裝臺》刁菊花的媽媽是誰?刁菊花的媽媽跑哪裏去了
愛因斯坦愛上女間諜是誰?瑪加麗達·科涅庫娃介紹
嬴政年幼時,爲何流落在外?
孫浩俊有望出演JTBC新劇《耀眼》,講述的是什麼故事?
成語揠苗助長的意思是什麼?揠苗助長典故簡介
相比於曹操謀朝篡位 爲什麼歷史對司馬懿的評價那麼低
乾隆女兒和碩和恪公主簡介 和碩和恪公主活了多少歲
北宋都城開封:繁華盛世的人口繁榮
中國歷史上消失的10個神祕古國 你知道幾個?
花蕊夫人是誰的夫人?花蕊夫人嫁給了誰?
陳瑞鈿抗戰勝利之後回到哪裏 陳瑞鈿最後是怎麼死的