喺數學入面,Zermelo-Fraenkel集合論係一種喺二十世紀初期提出嘅公理系統,係一個無悖論嘅系統,亦即係話,類似羅素悖論呢啲奇怪嘅現像唔會係Zermelo-Fraenkel集合論入面出現。呢個集合論係以數學家Ernst Zermelo同Abraham Fraenkel命名嘅。