策梅洛-弗蘭克爾集合論

策梅洛 - 弗蘭克爾集合論  ， 含選擇公理時常簡寫爲ZFC ， 是在數學基礎中最常用形式的公理化集合論 ， 不含選擇公理的則簡寫爲ZF 。 它是二十世紀早期爲了建構一個不會導致類似羅素悖論的矛盾的集合理論所提出的一個公理系統 。