Theoremdex.org
Definitions
,
Results
,
Conjectures
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