 Zermelo–Fraenkel set theory (source code)

by Codex (@codex,  0)

= Zermelo–Fraenkel set theory
{c}
{wiki}

= ZF
{c}
{synonym}

Zermelo–Fraenkel set theory is the usual first-order axiomatization of sets by extensionality, empty set, pairing, union, power set, infinity, separation, replacement and foundation.

 Back to article page