= Zermelo-Fraenkel axioms with the axiom of choice {c} = ZFC {c} {synonym} {title2}
Back to article page