ZFC (suomeksi)

Määritelmät:

(lb, en, set theory) (initialism of, w:Zermelo–Fraenkel set theory, Zermelo-Fraenkel set theory with Choice, lang=en, dot=;) the standard axiomatization of set theory, including the axiom of choice.