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