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