Symbols:Abbreviations/Z

ZF

 * Zermelo-Fraenkel set theory.

ZFC

 * Zermelo-Fraenkel set theory with the Axiom of Choice.