策梅洛-弗蘭克爾集合論維基百科,自由的 encyclopedia 策梅洛-弗蘭克爾集合論(英語:Zermelo-Fraenkel Set Theory),是數學基礎中最常用的一階公理化集合論。含選擇公理時常簡寫為ZFC,不含選擇公理的則簡寫為ZF。它是二十世紀早期為了建構一個不會導致類似羅素悖論的矛盾的集合理論所提出的一個公理系統。 「ZFC」重新導向至此。關於其他用法,請見「ZFC (消歧義)」。
策梅洛-弗蘭克爾集合論(英語:Zermelo-Fraenkel Set Theory),是數學基礎中最常用的一階公理化集合論。含選擇公理時常簡寫為ZFC,不含選擇公理的則簡寫為ZF。它是二十世紀早期為了建構一個不會導致類似羅素悖論的矛盾的集合理論所提出的一個公理系統。 「ZFC」重新導向至此。關於其他用法,請見「ZFC (消歧義)」。