▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
Zermelo-Fraenkel set theory
<No formulations for this definition yet>
Also known as
ZF axiom system