In mathematics, Zermelo-Fraenkel set theory, with the axiom of choice, is the standard form of axiomatic set theory and is commonly considered the foundation of modern mathematics.[1]