相關詞條
-
布爾素理想定理
可以在經典 Zermelo-Fraenkel 集合論內證明。 因此下列...經典 Zermelo-Fraenkel 集合論中證明。但是 BPI 嚴格...定理可能看起來簡單和直覺性的，它們一般不能從 Zermelo...
初涉 素理想定理 布爾素理想定理 進一步的素理想定理 超濾子引理 -
ZFC公理系統
ZF公理系統再加上選擇公理就構成了ZFC公理系統：主要內容如下：(ZF1)外延公理：一個集合完全由它的元素所決定。如果兩個集合含...
-
ZF公理系統
公理化集合論(1)外延公理（容積公理）：一個集合完全由它的元素所決定。如果兩個集合含有的元素相同，則它們是相等 的。(2) ...
公理化集合論 說明及套用 -
ZFC公理集合論系統
內容ZFC系統中有下列10條非邏輯的集合論公理:即外延公理、對偶公理、空集公理、子集公理、並集公理、冪集公理、無窮性公理、選擇公...
內容 解析 -
公理集合論
ZFC公理系統。註：ZF為Zermelo及Fraenkel替換公理如果一...
原理簡介 詳細內容 替換公理 自然數 極限序數 -
哥德爾完備性定理
的 Zermelo–Fraenkel集合論中有著等價的可證明性。 證明對定理...
簡介 證明 深入閱讀 參考： -
第三次數學危機
。 例如，在策梅洛（Zermelo）和弗倫克爾（Fraenkel）等提出的ZF...
簡介 背景 定義 研究 發展
