Теория множеств Цермело-Френкеля с аксиомой выбора

Теория множеств Цермело-Френкеля или кратко ЦФ (англ. Zermelo-Fraenkel set theory or ZF, нем. Zermelo-Fraenkel-Mengenlehre oder ZF) — теория множеств Цермело-Френкеля, дополненная аксиомой выбора.