Definition:Zermelo-Fraenkel-Skolem Set Theory

Definition
Zermelo-Fraenkel-Skolem set theory is a system of axiomatic set theory.

It consists of Zermelo-Fraenkel set theory with the inclusion of a system of first order formulas to specify the existence of properties of sets.