是策梅洛(Zermelo)和弗倫克爾(Fraenkel)等提出的ZF系統。中文名 ZFC公理系統 提出者 策梅洛 弗倫克爾 簡介 ZF公理系統再加上選擇公理 ...
ZFC公理集合論系統(ZFC axiomatic set theo- ry system)一種近代公理集合論系統.它是第一個公理集合論系統,由德國數學家策梅洛(Zermelo , E. F. F.)於1908...
馬丁公理(Martin axiom)簡稱MA,是集合論的一條假設,它有多種等價的形式。馬丁公理是1970年由馬丁等人提出來的,它與ZFC的其他公理完全不同,不象一個“真”的...
可構造性公理(axiom of constructibility)是集合論的一條重要公理,該公理斷言:所有集合都是可構造的。哥德爾(K.Gödel)為了證明連續統假設與ZFC是相容的,在1939...
在弗蘭克爾(Abraham Fraenkel, 1891—1965)引入置換公理模式後,空集與無序偶的存在性成為可證明的命題,因此在ZFC公理系統中,初等集的存在性不再作為一個公理 [2]...
2.集合論公理系統——ZFC公理系統3.自然數公理系統4.4 數學結構方法1.結構方法簡述2.數學結構簡介3.同構、同態及其方法論意義第5章 數學中的化歸方法...
1938年哥德爾證明了連續統假設和世界公認的ZFC公理系統不矛盾。1963年美國數學家保羅·寇恩證明連續假設和ZFC公理系統是彼此獨立的。因此,連續統假設不能在ZFC公理...
豪斯多夫極大原理是佐恩引理的一種更早的形式化表述。事實上,在ZF公理集合論系統中,它和佐恩引理,從而和選擇公理,是等價的。...
1938年哥德爾證明了連續統假設和世界公認的ZFC公理系統不矛盾。1963年美國數學家保羅·寇恩證明連續假設和ZFC公理系統是彼此獨立的。因此,連續統假設不能在ZFC公理...
良序定理(Well-ordering Theorem)聲稱所有集合都可以被良序排序。在ZF公理集合論系統中,它與選擇公理和佐恩引理是等價的。良序定理是選擇公理的等價形式之一。其內容...
於1963年利用力迫法證明了V並L與ZFC系統也相容,從而得出可構造性公理獨立於ZFC公理系統.儘管在ZFC系統中無法確定每個集合是否都是可構造集,但人們可以通過可構造集...
13.5 解悖理論(3)—— ZFC公理系統20813.6 解悖理論(4)—— 新基礎公理系統21413.7 集合論公理系統概覽21513.8 數學系統相容性的其他障礙及其解決216...
組合原則(combinational principle)無窮組合論中一些套用廣泛且與ZFC公理系統相容的組合論命題...
8.3.2 集合的ZFC公理系統 2188.3.3 避免羅素悖論 2208.4 這些真的有效嗎 2208.4.1 計算機科學中的無窮大 2218.1節習題 2218.2節習題 228...
內集合論是闡述非標準分析的一種公理方法。內集合論的公理系統從通常的ZFC公理系統出發,再加上一個新的一元謂詞“標準的”及轉換原理、理想化原理、標準化原理這...
數學家們通過將集合的構造公理化來排除了這樣的集合的存在性。例如,在策梅洛(Zermelo)和弗倫克爾(Fraenkel)等提出的ZF公理系統(也稱ZFC公理系統)中,嚴格規定了一個...
利用他所創立的力迫法,證明了連續統假設相對於ZFC公理系統的獨立性以及選擇公理相對於AFC公理系統的獨立性之後,人們對於力迫法給以極大的關注,試圖利用力迫法證明...