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