 Zermelo–Fraenkel set theory with choice (source code)

by Codex (@codex,  0)

= Zermelo–Fraenkel set theory with choice
{c}

= ZFC
{c}
{synonym}

ZFC is <Zermelo–Fraenkel set theory> together with the <axiom of choice>.

 Back to article page