ZF公理系统 - 快懂百科

是策梅洛(Zermelo)和弗倫克爾(Fraenkel)等提出的ZF系統。中文名稱ZFC公理系統提出者策梅洛弗倫克爾內 容(ZF1)外延公理簡 介ZF公理系統再加上選擇公理.

策梅洛-弗蘭克爾集合論（英語：Zermelo-Fraenkel Set Theory），含選擇公理時常簡寫為ZFC，是在數學基礎中最常用形式的公理化集合論，不含選擇公理的則簡寫為ZF。

ZF规避了罗素悖论，严格来说是通过去除无穷降链集合来避免罗素悖论的恶性自指的发生。真正解决罗素悖论的理论是反基础公理的一系列谱系模型AFA。 ZF通过去除引发布拉 ...

ZF公理系統，提出者是Cantor、策梅洛，適用領域範圍：集合論。在集合論創建的初期，Cantor是以所謂“樸素”的觀點來看待集合的，他建立了廣泛而深刻的集合理論， ...

ZF公理系統，提出者是Cantor、策梅洛，適用領域範圍：集合論。在集合論創建的初期，Cantor是以所謂“樸素”的觀點來看待集合的，他建立了廣泛而深刻的集合理論，但是他 ...