Zermelo-Fraenkel set theory with Choice

Zermelo Fraenkel set thoery with Choice or is a Material set theory and the Axiomatic set theory most commonly used as a foundation for mathematics. It strengthens classical Axioms with #m/def/set/zfc