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

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

Формулировки аксиом ЦФ
Аксиома объёмности;

Аксиома пары;

Аксиома объединения;

Аксиома множества-степени;

Аксиома схемы выделения;

Аксиома схемы замещения;

Аксиома пустого множества;

Аксиома бесконечности;

Аксиома регулярности.