公理集合論什麼出現的?公理集合論有哪些內容
本文已影響1.32W人
本文已影響1.32W人
公理集合論(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集 論法理陳晨輕判殺父案
高中數學公式集合
劉完素有着哪些著作理論?對哪些病症有獨到的見解
翻譯理論有哪些
竇材有着哪些醫學理論?他主張什麼學說
文化翻譯理論 文化翻譯理論有哪些
經濟學理論有哪些?理論經濟學專業介紹
公理的公理集合論
《長歌行》基於前八集的內容來論,還不足以套住觀衆
趙元任有着哪些研究理論?對中國有什麼影響
朱震亨有過哪些醫學著作?分別闡述了什麼理論
普朗克因發現量子理論而獲諾貝爾物理獎
廣義相對論的量子理論是什麼 當前的進展如何
王好古的著作有哪些?都分別闡述了什麼理論
丹尼爾·卡內曼有着怎樣的學術研究?有着哪些理論觀點
徐旭生有着哪些著作理論?參與了哪些歷史發掘
李靖豐富了中國的軍事思想,他提出哪些理論?
熊十力有着哪些理論思想?他的主要學說是什麼
《我的寵物少將軍》是什麼劇?主演全是高顏值
呂伯奢打酒之謎:歷史真相與傳說的辨析
法國古幣上的不明飛行物圖案是不是外星人
爲什麼古代女人喜歡請奶媽而不是自己親自哺乳?
楊昭爲什麼會殉情?殉情的原因是什麼?
水滸探祕:梁山的一二把手的女人爲何都偷情?
清朝八旗軍有哪一些軍種?你知道多少?
北宋面對北方強大的遼國時,爲何沒有修建長城來防禦?
祖庚是什麼讀音?怎麼讀?
(老照片)記者冒死拍攝的越南戰爭舊照
元明之間的神祕王朝?其後人定居海外,仍堅持說普通話
《知否知否應是綠肥紅瘦》什麼時候播?定檔日期
呂后如此心狠手辣的 劉邦當初爲何沒有對呂后下手
日媒民調:六成日本民衆認爲昭和天皇有戰爭責任
愛新覺羅胤礽是什麼人 胤礽福晉究竟有多少?