公理集合論什麼出現的?公理集合論有哪些內容
本文已影響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年代以後。幾乎每一種大基數都是ω的某種性質向不可數基數的推廣。可構成性、大基數和力迫法已成爲公理化集合論的三大主流,同時它們又是三種研究工具。隨着無窮博弈的誕生和博弈論在數學各分支的滲透,以及博弈論與邏輯的關係日益密切,決定性公理也愈受到重視。
《長歌行》基於前八集的內容來論,還不足以套住觀衆
普朗克因發現量子理論而獲諾貝爾物理獎
宋明理學簡介 是儒、釋、道三教長期爭論和融合的果實
徐旭生有着哪些著作理論?參與了哪些歷史發掘
廣義相對論的量子理論是什麼 當前的進展如何
公理的公理集合論
竇材有着哪些醫學理論?他主張什麼學說
高中數學公式集合
神滅論之爭具體內容介紹,神滅論與神不滅論
經濟學理論有哪些?理論經濟學專業介紹
劉完素有着哪些著作理論?對哪些病症有獨到的見解
文化翻譯理論 文化翻譯理論有哪些
王好古的著作有哪些?都分別闡述了什麼理論
丹尼爾·卡內曼研究了哪些領域?有着怎樣的理論知識
熊十力有着哪些理論思想?他的主要學說是什麼
丹尼爾·卡內曼有着怎樣的學術研究?有着哪些理論觀點
《人民檢察官》第28集 論法理陳晨輕判殺父案
墨子·48章 公孟(3)原文有哪些內容?該如何理解?
比較優勢理論是什麼?比較優勢理論的發展
趙元任有着哪些研究理論?對中國有什麼影響
李靖豐富了中國的軍事思想,他提出哪些理論?
朱震亨有過哪些醫學著作?分別闡述了什麼理論
翻譯理論有哪些
東漢時期外戚、權臣樑冀簡介:沒有人敢違抗他的命令
東漢的軍事實力如何?
李景隆深得建文帝信任,爲何在靖難之役中直接讓燕軍進了
《詠荊軻》作者是誰?該如何賞析呢?
她在末世烽煙時生於帝王家 心力交瘁而死!
電商賣家自曝刷單 網店吐槽:不想等死 就得刷單
《沉香重華》大反派死得草率,男女主角雙雙自殺
李廣爲什麼自刎?導致李廣自刎的原因有哪些?
諸葛亮知道北伐的困難 諸葛亮爲什麼還要北伐曹魏
《皓鑭傳》是小說改編的嗎?是哪部小說改編的
南宋後期將領呂文煥,他爲什麼要投降?
紅樓夢中晴雯的死對她來說是最後的結局?爲何這麼說
歷史上順治皇帝是什麼結局?爲何選擇出家?
劉備臨死前是在試探諸葛亮嗎 劉備是怎麼想的
加洛林皇帝是什麼人?他是如何爭奪羅馬帝國繼承之位的?